Semantics for Prolog via Term Rewrite Systems.

Jos C. M. Baeten W. P. Weijland

Published in: CTRS (1987)

Keyphrases

logic programming
term rewrite systems
logic programming language
semantically equivalent
programming language
expert systems
knowledge base
logic programs
knowledge representation
data warehouse
semantic information
constraint logic programming
rewrite rules