An Abstract Machine for SLG Resolution: Definite Programs.

Terrance Swift David Scott Warren

Published in: ILPS (1994)

Keyphrases

abstract machine
data model
high resolution
logic programming
data mining
low resolution
consequence finding
image processing
database systems
high quality
search algorithm
relational databases
computer programs
control program