The power of partial tanslation: an experiment with the C-ification of binary Prolog.
Paul TarauBart DemoenKoenraad De BosscherePublished in: SAC (1995)
Keyphrases
- logic programming
- expert systems
- programming language
- knowledge representation
- power consumption
- theorem proving
- abstract machine
- databases
- binary representation
- logic programming language
- non binary
- knowledge base
- software engineering
- hamming distance
- clustering algorithm
- constraint logic programming
- artificial intelligence
- machine learning