Logic + control: An example

@inproceedings{Drabent2012LogicC,
  title={Logic + control: An example},
  author={Wlodzimierz Drabent},
  booktitle={ICLP},
  year={2012}
}
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