Hornlog

swMATH21362MaRDI QIDQ33170FDOQ33170

Author name not available (Why is that?)

Described by source

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

Cited In (5)

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

This page was built for software: Hornlog