Lazy Theory Unification inProlog: An Extension of the warren Abstract machine.

Hans-Jürgen Bürckert

Published in: GWAI (1986)

Keyphrases

abstract machine
data model
theoretical framework
equational theories
real time
higher order
general theory
database
search engine
image processing
website
image sequences
data structure
xml documents
computational models
theorem prover