Enriching Prolog with S-Unification.
Andreas KågedalFeliks KluzniakPublished in: Declarative Programming (1991)
Keyphrases
- theorem proving
- logic programming
- prolog programs
- abstract machine
- knowledge representation
- expert systems
- programming language
- equational theories
- semantically equivalent
- higher order
- logic programs
- inference engine
- constraint logic programming
- logic programming language
- general purpose
- lower bound
- information retrieval
- theorem prover
- knowledge base
- function symbols
- data sets
- databases
- backward chaining
- automated theorem proving
- image segmentation
- first order logic
- high level
- probabilistic model