Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution.

Christoph Beierle Gregor Meyer Heiner Semle

Published in: ISLP (1991)

Keyphrases

abstract machine
order sorted
data model
predicate logic
high resolution
consequence finding
low resolution
database systems
low level
expert systems
orders of magnitude
conflict detection