Proving Termination Properties of Prolog Programs: A Semantic Approach.
Marianne BaudinetPublished in: J. Log. Program. (1992)
Keyphrases
- prolog programs
- logic programs
- semantic properties
- semantic annotation
- desirable properties
- natural language
- domain specific
- semantic information
- term rewrite systems
- database
- semantic representation
- semantic knowledge
- semantic relationships
- structural properties
- domain ontology
- orders of magnitude
- semantic web
- high level