Jump to ContentJump to Main Navigation

You are looking at 1-3 of 3 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


Building Bionic Brains

Peter J. Bentley

in Digitized: The science of computers and how it shapes our world

Published in print:
2012
Published Online:
November 2020
ISBN:
9780199693795
eISBN:
9780191918421
Item type:
chapter
Publisher:
Oxford University Press
DOI:
10.1093/oso/9780199693795.003.0011
Subject:
Computer Science, History of Computer Science

Since the birth of computer science, researchers have secretly thought of themselves as brain-builders. After all, our thoughts are made from billions of little electrical impulses fired by ... More


View: