Un nouveau traceur générique pour GNU-Prolog.
Pierre DeransartLudovic LangevinePublished in: Tech. Sci. Informatiques (2003)
Keyphrases
- open source
- logic programming
- source code
- prolog programs
- knowledge representation
- programming language
- expert systems
- abstract machine
- logic programming language
- inference engine
- knowledge base
- constraint logic programming
- databases
- theorem proving
- cross platform
- probability distribution
- natural language
- bayesian networks
- feature selection
- computer systems
- artificial intelligence
- machine learning
- functional programming