Run-Time Profiling of Functional Logic Programs.
Bernd BrasselMichael HanusFrank HuchJosep SilvaGermán VidalPublished in: LOPSTR (2004)
Keyphrases
- logic programs
- logic programming
- answer sets
- answer set programming
- background knowledge
- fixpoint
- normal logic programs
- stable models
- inductive logic programming
- prolog programs
- computational properties
- term rewriting systems
- stable model semantics
- general purpose
- nonmonotonic reasoning
- loop formulas
- reasoning tasks
- horn clauses
- artificial intelligence
- search space
- knowledge base