Skip to main content
    • Aa
    • Aa
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 3
  • Cited by
    This article has been cited by the following publications. This list is generated based on data provided by CrossRef.

    Robbins, Ed Howe, Jacob M. and King, Andy 2015. Theory propagation and reification. Science of Computer Programming, Vol. 111, p. 3.

    Howe, Jacob M. and King, Andy 2012. A pearl on SAT and SMT solving in Prolog. Theoretical Computer Science, Vol. 435, p. 43.

    Di Rosa, Emanuele Giunchiglia, Enrico and Maratea, Marco 2010. Solving satisfiability problems with preferences. Constraints, Vol. 15, Issue. 4, p. 485.

  • Theory and Practice of Logic Programming, Volume 8, Issue 1
  • January 2008, pp. 121-128

Logic programming with satisfiability

  • DOI:
  • Published online: 01 January 2008

This paper presents a Prolog interface to the MiniSat satisfiability solver. Logic programming with satisfiability combines the strengths of the two paradigms: logic programming for encoding search problems into satisfiability on the one hand and efficient SAT solving on the other. This synergy between these two exposes a programming paradigm that we propose here as a logic programming pearl. To illustrate logic programming with SAT solving, we give an example Prolog program that solves instances of Partial MAXSAT.

Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

T. Arts and J. Giesl 2000. Termination of term rewriting using dependency pairs. Theoretical Computer Science 236 (1–2), 133178.

N. Dershowitz 1982. Orderings for term-rewriting systems. Theoretical Computer Science 17, 279301.

D. Plaisted and S. Greenbaum 1986. A structure preserving clause form translation. Journal of Symbolic Computation 2, 293304.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Theory and Practice of Logic Programming
  • ISSN: 1471-0684
  • EISSN: 1475-3081
  • URL: /core/journals/theory-and-practice-of-logic-programming
Please enter your name
Please enter a valid email address
Who would you like to send this to? *