Extended Prolog for Order-Sorted Resolution.

Martin Huber Igor Varsek

Published in: SLP (1987)

Keyphrases

order sorted
high resolution
expert systems
knowledge representation
programming language
predicate logic
knowledge base
low resolution
prolog programs
abstract machine
logic programming
horn clauses
image resolution
constraint logic programming
consequence finding