An SLOU Prolog Interpreter.
I. StephanPublished in: ICLP Workshop: Proof-Theoretical Extensions on Logic Programming (1994)
Keyphrases
- programming language
- logic programming
- production system
- software engineering
- general purpose
- abstract machine
- error handling
- prolog programs
- expert systems
- special case
- knowledge representation
- object oriented
- high level
- programming paradigms
- constraint logic programming
- knowledge base
- theorem proving
- feature selection
- inference engine
- case study
- natural language
- web services
- logic programming language
- backward chaining
- control program
- social networks
- neural network
- information retrieval