Stepwise Development of Operational and Denotational Semantics for Prolog.

Neil D. Jones Alan Mycroft

Published in: SLP (1984)

Keyphrases

denotational semantics
programming language
decision making
software engineering
expert systems
data mining
knowledge base
logic programming
databases
high level
knowledge representation
multi dimensional
data mining techniques