Sylog: A DRT System in Prolog.
Celestin SedogboPublished in: Natural Language Understanding and Logic Programming Workshop (1987)
Keyphrases
- logic programming
- expert systems
- prolog programs
- radon transform
- programming language
- knowledge representation
- logic programs
- logic programming language
- knowledge base
- databases
- constraint logic programming
- theorem proving
- abstract machine
- semantically equivalent
- special case
- multiscale
- image processing
- computer vision
- artificial intelligence
- backward chaining
- genetic algorithm
- real time
- database