Operational and Goal-Independent Denotational Semantics for Prolog with Cut.

Published in: J. Log. Program. (2000)

Keyphrases

denotational semantics
programming language
logic programming
data analysis
general purpose
operational semantics
data mining
artificial intelligence
database systems
image sequences
data management
database management systems