The following pages link to (Q3727351):
Displaying 6 items.
- Declarative error diagnosis (Q578894) (← links)
- Compiling a default reasoning system into Prolog (Q750134) (← links)
- Implementing constructive intensional negation (Q839831) (← links)
- The Prolog not-predicate and negation as failure rule (Q918193) (← links)
- Paraconsistent logic programming (Q1262746) (← links)
- N-Prolog: An extension of prolog with hypothetical implication. II. Logical foundations, and negation as failure (Q3727349) (← links)