Using Algebraic Semantics for Proving Prolog termination and Transformation.
Brian J. RossPublished in: ALPUK (1991)
Keyphrases
- logic programming
- transformation rules
- active rules
- logic programming language
- rewrite systems
- semantically equivalent
- algebraic structure
- term rewrite systems
- formal semantics
- logic programs
- linear transformation
- knowledge representation
- information systems
- expert systems
- higher order
- knowledge base
- term rewriting
- databases
- programming language
- database
- constraint logic programming
- prolog programs
- genetic algorithm
- argumentation semantics
- neural network