Logic + control: An example

  title={Logic + control: An example},
  author={Wlodzimierz Drabent},
We present a Prolog program – the SAT solver of Howe and King – as a (pure) logic program with added control. The control consists of a selection rule (delays of Prolog) and pruning the search space. We construct the logic program together with proofs of its correctness and completeness, with respect to a formal specification. Correctness and termination of… CONTINUE READING