A Correction to the Denotational Semantics for the Prolog of Nicholson and Foo.

Alan Finlay Lloyd Allison

Published in: ACM Trans. Program. Lang. Syst. (1993)

Keyphrases

denotational semantics
programming language
logic programming
general purpose
object oriented
high level
software engineering
operational semantics
query language
expert systems
prolog programs
databases
machine learning
knowledge base
knowledge representation