Constructive negation for Prolog: A real implementation.
Susana Muñoz-HernándezJuan José Moreno-NavarroPublished in: APPIA-GULP-PRODE (2002)
Keyphrases
- logic programming
- functional programming
- implementation details
- efficient implementation
- logic programming language
- expert systems
- programming language
- implementation issues
- evolutionary algorithm
- logic programs
- knowledge representation
- information retrieval
- real life
- database systems
- web services
- website
- knowledge base
- artificial intelligence