Proving Termination Properties of Prolog Programs: A Semantic Approach

Marianne Baudinet

Published in: LICS (1988)

Keyphrases

prolog programs
logic programs
domain specific
semantic properties
data sets
semantic knowledge
desirable properties
semantic web
structural properties
natural language processing
orders of magnitude
domain knowledge
answer set programming
semantic features
expert systems
machine learning
database