Pages that link to "Item:Q1314280"
From MaRDI portal
The following pages link to \(N\)-Prolog and equivalence of logic programs. I (Q1314280):
Displaying 6 items.
- Equivalence of propositional Prolog programs (Q915460) (← links)
- First-order theories for pure Prolog programs with negation (Q1892097) (← links)
- N-Prolog: An extension of Prolog with hypothetical implications. I. (Q3696485) (← links)
- N-Prolog: An extension of prolog with hypothetical implication. II. Logical foundations, and negation as failure (Q3727349) (← links)
- What Is Negation in a System 2020? (Q5020169) (← links)
- A decision procedure for propositional N-Prolog (Q5053010) (← links)