Caratteristiche e Aspetti Implementativi della Negazione di Metalivello in Reflective Prolog.
D. ConcariStefania CostantiniGaetano Aurelio LanzaronePublished in: GULP (1993)
Keyphrases
- logic programming
- expert systems
- abstract machine
- prolog programs
- programming language
- knowledge representation
- constraint logic programming
- logic programming language
- inference engine
- machine learning
- semantically equivalent
- knowledge base
- data sets
- knowledge based systems
- qualitative physics
- backward chaining
- horn clauses
- relational databases
- information systems
- social networks
- data mining