City Research Online

A pearl on SAT solving in Prolog

Howe, J. M. and King, A. (2010). A pearl on SAT solving in Prolog. In: International Symposium on Functional and Logic Programming, pages 165-174. Lecture Notes in Computer Science (6009). . Springer.


A succinct SAT solver is presented that exploits the control provided by delay declarations to implement watched literals and unit propagation. Despite its brevity the solver is surprisingly powerful and its elegant use of Prolog constructs is presented as a programming pearl.

Publication Type: Book Section
Additional Information: Presented at 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. The original publication is available at
Subjects: Q Science > QA Mathematics > QA76 Computer software
Departments: School of Mathematics, Computer Science & Engineering > Computer Science
Date available in CRO: 24 Oct 2012 09:06
Date of first online publication: 2010
PDF - Submitted Version
Download (147kB) | Preview



Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login