Simple Operational and Denotational Semantics for Prolog with Cut.

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

Keyphrases

denotational semantics
programming language
databases
artificial intelligence
expert systems
database
data analysis
spatio temporal
object oriented
general purpose
dynamic environments