The Relation of Prolog to Logic

Clocksin, William F.; Mellish, Christopher S.

doi:10.1007/978-3-642-55481-0_10

1113 Accesses
3 Altmetric

Abstract

The programming language Prolog was invented by Alain Colmerauer and his associates around 1970. It was the first attempt at the design of a practical programming language that would enable a programmer to specify tasks in logic, instead of in terms of conventional programming constructs about what the machine should do when. This motivation explains the name of the language, for “Prolog” means Programming in Logic.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic

€34.99 /Month

Get 10 units per month
Download Article/Chapter or eBook
1 Unit = 1 Article or 1 Chapter
Cancel anytime

Buy Now

eBook: EUR 18.99; Price includes VAT (Germany)

Softcover Book: EUR 18.99; Price includes VAT (Germany)

Tax calculation will be finalised at checkout

Purchases are for personal use only

') var buybox = document.querySelector("[data-id=id_"+ timestamp +"]").parentNode var buyingOptions = buybox.querySelectorAll(".buying-option") ;[].slice.call(buyingOptions).forEach(initCollapsibles) var buyboxMaxSingleColumnWidth = 480 function initCollapsibles(subscription, index) { var toggle = subscription.querySelector(".buying-option-price") subscription.classList.remove("expanded") var form = subscription.querySelector(".buying-option-form") var priceInfo = subscription.querySelector(".price-info") var buyingOption = toggle.parentElement if (toggle && form && priceInfo) { toggle.setAttribute("role", "button") toggle.setAttribute("tabindex", "0") toggle.addEventListener("click", function (event) { var expandedBuyingOptions = buybox.querySelectorAll(".buying-option.expanded") var buyboxWidth = buybox.offsetWidth ;[].slice.call(expandedBuyingOptions).forEach(function(option) { if (buyboxWidth buyboxMaxSingleColumnWidth) { toggle.click() } else { if (index === 0) { toggle.click() } else { toggle.setAttribute("aria-expanded", "false") form.hidden = "hidden" priceInfo.hidden = "hidden" } } }) } initialStateOpen() if (window.buyboxInitialised) return window.buyboxInitialised = true initKeyControls() })()

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Author information

Authors and Affiliations

Department of Computing, Wheatley Campus, Oxford Brookes University, Oxford, OX33 1HX, UK
Prof. William F. Clocksin
Department of Artificial Intelligence, University of Edinburgh, 80 South Bridge, Edinburgh, EH1 1HN, UK
Dr. Christopher S. Mellish

Authors

Prof. William F. Clocksin
View author publications
You can also search for this author in PubMed Google Scholar
Dr. Christopher S. Mellish
View author publications
You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

About this chapter

Cite this chapter

Clocksin, W.F., Mellish, C.S. (2003). The Relation of Prolog to Logic. In: Programming in Prolog. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-55481-0_10

Download citation

DOI: https://doi.org/10.1007/978-3-642-55481-0_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00678-7
Online ISBN: 978-3-642-55481-0
eBook Packages: Springer Book Archive

Publish with us

Policies and ethics