Design and Evaluation of a Prolog Compiler.
Mitsuhiro KishimotoTsuyoshi ShinogiYasunori KimuraAkira HattoriPublished in: LP (1985)
Keyphrases
- programming language
- design process
- data sets
- website
- case study
- user interface
- general purpose
- evaluation model
- logic programming
- assessment tool
- evaluation process
- design space
- design decisions
- theorem proving
- evaluation method
- design patterns
- computer aided
- knowledge based systems
- machine learning
- neural network
- databases