A Mathematical Definition of Full Prolog.
Egon BörgerDean RosenzweigPublished in: Sci. Comput. Program. (1995)
Keyphrases
- logic programming
- programming language
- expert systems
- knowledge representation
- learning algorithm
- knowledge base
- multiscale
- abstract machine
- data sets
- functional programming
- prolog programs
- logic programming language
- constraint logic programming
- inference engine
- theorem proving
- medical images
- artificial neural networks
- search algorithm
- case study
- image processing
- genetic algorithm
- neural network