Parametric Polymorphism for Typed Prolog and lambda-Prolog.
Pascale LouvetOlivier RidouxPublished in: PLILP (1996)
Keyphrases
- logic programming
- programming language
- prolog programs
- expert systems
- knowledge base
- lambda calculus
- knowledge representation
- theorem proving
- logic programming language
- constraint logic programming
- semantically equivalent
- abstract machine
- higher order
- image sequences
- genetic algorithm
- rough sets
- fixed point
- similarity measure
- decision making
- explanation based generalization
- programming paradigms
- databases
- real time