Logic Programs with Polymorphic Types: A condition for static type checking.
Staffan BonnierJonas WallgrenPublished in: CTRS (1992)
Keyphrases
- logic programs
- type checking
- logic programming
- fixpoint
- answer set programming
- data types
- answer sets
- stable models
- partial deduction
- query processor
- relational calculus
- normal logic programs
- relational algebra
- strong equivalence
- object model
- abstract data types
- programming language
- relational model
- propositional theories
- data mining