On the construction of stable models of untyped lambda-calculus.
Rainer KerthPublished in: Theor. Comput. Sci. (2001)
Keyphrases
- stable models
- lambda calculus
- logic programs
- logic programming
- normal logic programs
- programming language
- answer set programming
- fixpoint
- stable model semantics
- deductive databases
- predicate calculus
- answer sets
- database query languages
- general purpose
- program understanding
- database
- semantics for logic programs
- object oriented
- data model