Pages that link to "Item:Q1924724"
From MaRDI portal
The following pages link to Near-Horn Prolog and the ancestry family of procedures (Q1924724):
Displaying 5 items.
- Near-Horn prolog and beyond (Q757031) (← links)
- Non-Horn clause logic programming (Q1402738) (← links)
- Computing answers with model elimination (Q1402748) (← links)
- Renaming a set of non-Horn clauses (Q1587332) (← links)
- Efficient Local Unfolding with Ancestor Stacks for Full Prolog (Q5458800) (← links)