Pages that link to "Item:Q3992235"
From MaRDI portal
The following pages link to A comparison of three PROLOG extensions (Q3992235):
Displaying 6 items.
- Near-Horn prolog and beyond (Q757031) (← links)
- TMPR: A tree-structured modified problem reduction proof procedure and its extension to three-valued logic (Q1332639) (← links)
- Non-Horn clause logic programming (Q1402738) (← links)
- Renaming a set of non-Horn clauses (Q1587332) (← links)
- Near-Horn Prolog and the ancestry family of procedures (Q1924724) (← links)
- Model elimination without contrapositives (Q5210764) (← links)