IDNAF Prolog

DOI10.1016/0893-9659(94)90104-XzbMath0809.68053OpenAlexW4213390843MaRDI QIDQ1328781

M. Mahroos, Eric Neufeld, Scott D. Goodwin

Publication date: 7 August 1994

Published in: Applied Mathematics Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0893-9659(94)90104-x

zbMATH Keywords

theorem provinggraph searchProlog programs

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• Compiling a default reasoning system into Prolog
• Depth-first iterative-deepening: An optimal admissible tree search
• Composing recursive logic programs with clausal join
• A Prolog technology theorem prover: Implementation by an extended Prolog compiler
• Unnamed Item
• Unnamed Item

This page was built for publication: IDNAF Prolog