Offline specialisation in Prolog using a hand-written compiler generator.
Michael LeuschelJesper JørgensenWim VanhoofMaurice BruynooghePublished in: Theory Pract. Log. Program. (2004)
Keyphrases
- hand written
- programming language
- character recognition
- digit recognition
- chinese characters
- logic programming
- real time
- general purpose
- printed characters
- expert systems
- programming paradigms
- machine vision
- logic programming language
- programs written
- software systems
- abstract machine
- prolog programs
- constraint logic programming
- neural network
- character segmentation
- distributed memory machines
- object oriented
- knowledge representation
- highly optimized
- code generation
- functional programming
- vision system
- color images
- data sets