Logic Programming

Authored by: Manuel Carro

Encyclopedia of Software Engineering

Print publication date:  November  2010
Online publication date:  November  2010

Print ISBN: 9781420059779
eBook ISBN: 9781351249270
Adobe ISBN:


 Download Chapter



Logic Programming is an approach to expressing computations that states what is to be done using formulæ in some logic, and leaves the decision of how it should be done to the strategy of a stylized theorem prover. Practical programming languages based on this paradigm include ways to control this strategy, as well as facilities to organize and modularize code. One of the expected advantages of this approach is to make it possible to specify solutions at a high level and leave many execution details to the decision procedure. This in turn would help adopt a higher-level approach to problem solving, which abstracts many implementation details.

Search for more...
Back to top

Use of cookies on this website

We are using cookies to provide statistics that help us give you the best experience of our site. You can find out more in our Privacy Policy. By continuing to use the site you are agreeing to our use of cookies.