Une sémantique opérationnelle algébrique de programmes PROLOG.
Pierre DeransartPublished in: SPLT (1983)
Keyphrases
- logic programming
- prolog programs
- expert systems
- technology enhanced
- higher education
- abstract machine
- corporate training
- knowledge representation
- programming language
- inference engine
- m learning
- online learning
- bayesian networks
- decision making
- lifelong learning
- language learning
- constraint logic programming
- semantically equivalent
- explanation based generalization
- e learning