Netlog - A Concept Oriented Logic Programming Language.

Alexander V. Voinov

Published in: LPAR (1992)

Keyphrases

logic programming language
logic programming
constraint logic programming
inference rules
logic programs
declarative semantics
database
general purpose
np complete
orders of magnitude
functional dependencies
situation calculus
constraint solving