Hornlog

swMATH21362MaRDI QIDQ33170FDOQ33170

Official website http://www.sciencedirect.com/science/article/pii/074310668790015X

Described by source

• HORNLOG: A graph-based interpreter for general Horn clauses

Cited in

(6)

• Uniform proofs as a foundation for logic programming
• Parsing as non-Horn deduction
• Ltur
• LTUR: A simplified linear-time unit resolution algorithm for Horn formulae and computer implementation
• Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems
• On renamable Horn and generalized Horn functions

This page was built for software: Hornlog