Jump to ContentJump to Main Navigation
Thinking as ComputationA First Course$
Users without a subscription are not able to see the full content.
Thinking as Computation: A First Course

Hector J. Levesque

Print publication date: 2012

Print ISBN-13: 9780262016995

Published to MIT Press Scholarship Online: August 2013

DOI: 10.7551/mitpress/9780262016995.001.0001

Show Summary Details
Page of

PRINTED FROM MIT PRESS SCHOLARSHIP ONLINE (www.mitpress.universitypressscholarship.com). (c) Copyright The MIT Press, 2021. All Rights Reserved. An individual user may print out a PDF of a single chapter of a monograph in MITSO for personal use.date: 01 August 2021

The Prolog Language

The Prolog Language

Chapter:
(p.41) 3 The Prolog Language
Source:
Thinking as Computation
Author(s):

Levesque Hector J.

Publisher:
The MIT Press
DOI:10.7551/mitpress/9780262016995.003.0003

This chapter explains how to write computer programs in a language called Prolog. The first section examines the makeup of Prolog programs in detail. The second section does the same for Prolog queries, which are used to run Prolog programs. The third section reexamines the back-chaining procedure that Prolog uses.

Keywords:   computer programming, programming language, Prolog programs, queries, back-chaining

MIT Press Scholarship Online requires a subscription or purchase to access the full text of books within the service. Public users can however freely search the site and view the abstracts and keywords for each book and chapter.

Please, subscribe or login to access full text content.

If you think you should have access to this title, please contact your librarian.

To troubleshoot, please check our FAQs, and if you can't find the answer there, please contact us.