The following pages link to Hornlog (Q33170):
Displaying 5 items.
- Parsing as non-Horn deduction (Q688151) (← links)
- LTUR: A simplified linear-time unit resolution algorithm for Horn formulae and computer implementation (Q1111776) (← links)
- On renamable Horn and generalized Horn functions (Q1356207) (← links)
- Uniform proofs as a foundation for logic programming (Q2640596) (← links)
- Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems (Q2641226) (← links)