The solver is (SICStus) available as sat_solver.pl.
Some code for static variable ordering is also included, static_var_order.pl.
The benchmarks from the paper are also included, flopsbenchmarks.tar. Please cite satlib.org from where a number of these files come.
A version of the solver to produce statistics on timings and assignments is also included, sat_solver_instrumented.pl.
If using this code, please cite the following papers:
"A Pearl on SAT Solving in Prolog", Jacob M. Howe and Andy King. In FLOPS 2010, Proceedings of the 10th International Symposium on Function and Logic Programming (eds Matthias Blume, Naoki Kobayashi and Germán Vidal). Volume 6009 of Lecture Notes in Computer Science, pages 165-174. Springer, 2010. Slides from the talk are also available.
"A Pearl on SAT and SMT Solving in Prolog", Jacob M. Howe and Andy King. Theoretical Computer Science. 435:43-55,2012.