Towards Typed Prolog.
Tom SchrijversVítor Santos CostaJan WielemakerBart DemoenPublished in: ICLP (2008)
Keyphrases
- programming language
- lambda calculus
- logic programming
- higher order
- abstract machine
- knowledge base
- expert systems
- prolog programs
- theorem proving
- functional programming
- inference engine
- programming paradigms
- logic programs
- backward chaining
- knowledge representation
- data sets
- real time
- constraint logic programming
- control system
- object recognition
- explanation based generalization
- information systems
- neural network