Logic + control: An example of program construction

Details Logic + control: An example of program construction Logic + control: An example of program construction

2011-10-22

arxiv.org/abs/1110.4978v1

Computer Science

Logic in Computer Science

12 pages, submitted to Theory and Practice of Logic Programming

Scientific paper

We construct a Prolog program using the Logic + Control principle of Kowalski. The program is the SAT solver of Howe and King; they presented it as an implementation of the DPLL algorithm, using logical variables, coroutining, and some extra-logical features of Prolog. We show how the program can be derived by adding control to a logic program. We discuss correctness, completeness, termination and non-floundering of the program. In particular, we prove correctness and completeness of the underlying logic program. The presented proof methods are of separate interest.

Affiliated with

Also associated with

No associations

Rating

Logic + control: An example of program construction does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Logic + control: An example of program construction, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Logic + control: An example of program construction will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-564856