A Semantics for lambda-Prolog.

David A. Wolfram

Published in: Theor. Comput. Sci. (1994)

Keyphrases

logic programming
logic programming language
semantically equivalent
logic programs
formal semantics
knowledge representation
programming language
knowledge base
semantic representation
operational semantics
update semantics
neural network
information retrieval
information systems
domain knowledge
theorem proving