Equivalence of propositional Prolog programs

zbMath0702.68066MaRDI QIDQ915460

Ulrich Löwen, Hans Kleine Büning, Stefan Schmitgen

Publication date: 1990

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

complexity of equivalencecomplexity of inferenceequivalence of Prolog programsloop detectionProlog inference strategypropositional logic programs

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)

This page was built for publication: Equivalence of propositional Prolog programs