Implementing Polymorphic Typing in a Logic Programming Language.

Keehang Kwon Gopalan Nadathur Debra Sue Wilson

Published in: Comput. Lang. (1994)

Keyphrases

logic programming language
logic programming
constraint logic programming
inference rules
situation calculus
declarative semantics
logic programs
knowledge base
constraint solving
computational complexity
knowledge representation
linear programming
answer set programming