A Denotational Semantics for Prolog.

Fausto Spoto Giorgio Levi

Published in: APPIA-GULP-PRODE (1997)

Keyphrases

denotational semantics
programming language
logic programming
general purpose
object oriented
operational semantics
software engineering
high level
expert systems
query language
abstract data types
data mining
knowledge representation
prolog programs
data structure
distributed databases