Debugging in A-Prolog: A Logical Approach.
Mauricio OsorioJuan Antonio Navarro PérezJosé ArrazolaPublished in: ICLP (2002)
Keyphrases
- logic programming
- expert systems
- prolog programs
- knowledge representation
- model based diagnosis
- inference engine
- logic programming language
- fault localization
- programs written
- logic programs
- programming language
- knowledge base
- java programs
- programming paradigms
- theorem proving
- hardware designs
- neural network
- parallel programming
- constraint logic programming
- real time
- young students
- software testing
- parallel processing
- general purpose
- three dimensional
- data sets