Pluto: An Object-Oriented Logic Programming Language.

Published in: TOOLS (39) (2001)

Keyphrases

logic programming language
logic programming
constraint logic programming
inference rules
object oriented
situation calculus
declarative semantics
logic programs
computational complexity
user interface
data mining
knowledge base
first order logic