Beta-Prolog: An Extended Prolog with Boolean Tables for Combinatorial Searching.
Neng-Fa ZhouPublished in: ICTAI (1993)
Keyphrases
- logic programming
- abstract machine
- prolog programs
- backward chaining
- expert systems
- knowledge representation
- programming language
- inference engine
- database
- real valued
- constraint logic programming
- image sequences
- knowledge base
- functional programming
- case study
- logic programming language
- artificial intelligence
- genetic algorithm
- databases