Jump to ContentJump to Main Navigation

You are looking at 1-2 of 2 items

  • Keywords: blocks world x
Clear All Modify Search

View:

Writing Prolog Programs

J. Levesque Hector

in Thinking as Computation: A First Course

Published in print:
2012
Published Online:
August 2013
ISBN:
9780262016995
eISBN:
9780262301411
Item type:
chapter
Publisher:
The MIT Press
DOI:
10.7551/mitpress/9780262016995.003.0004
Subject:
Computer Science, Artificial Intelligence

This chapter discusses how to write the sorts of Prolog programs that will be used in the rest of the book. Section 1 examines what it means for a program to be fully correct. Section 4.2 introduces ... More


Lists in Prolog

Levesque Hector J.

in Thinking as Computation: A First Course

Published in print:
2012
Published Online:
August 2013
ISBN:
9780262016995
eISBN:
9780262301411
Item type:
chapter
Publisher:
The MIT Press
DOI:
10.7551/mitpress/9780262016995.003.0007
Subject:
Computer Science, Artificial Intelligence

The Prolog symbols in previous chapters were single atomic units: constants, variables, numbers. This chapter considers larger symbolic structures called lists, and some predicates that assemble them ... More


View: