The Program Characteristics in Logic Programming Language ESP.

Akira Yamamoto Masaki Mitsui Hiroyuki Yoshida Minoru Yokota Katsuto Nakajima

Published in: LP (1985)

Keyphrases

logic programming language
declarative semantics
logic programming
constraint logic programming
inference rules
situation calculus
logic programs
databases
machine learning
high level
computational complexity
special case
general purpose