Unification-Free Execution of Well-Moded and Well-Typed Prolog Programs

M. R. K. Krishna Rao R. K. Shyamasundar

Published in: SAS (1995)

Keyphrases

prolog programs
logic programs
higher order
control flow
data flow
function symbols
execution model
logic programming
equational theories
knowledge management
answer set programming
knowledge base
information retrieval
machine learning
neural network
real time
database
general purpose
answer sets
active databases