ANDORRA Prolog - An Integration of Prolog and Committed Choice Languages.
Seif HaridiPer BrandPublished in: FGCS (1988)
Keyphrases
- programming paradigms
- logic programming
- programming language
- expert systems
- prolog programs
- functional programming
- abstract machine
- knowledge representation
- knowledge base
- logic programming language
- theorem proving
- inference engine
- constraint logic programming
- logic programs
- databases
- expressive power
- general purpose
- data mining