Searching with Prolog

  • Helder Coelho
  • José Carlos Cotta
Part of the Symbolic Computation book series (SYMBOLIC)

Abstract

Exploring and finding alternative paths through a network or a tree structure is often necessary while solving problems. Two issues become relevant: search, focusing on the methods for exploring the structures that describe the problem domains, and control, focusing on how the problem solver selects those methods and shifts attention among its subprocesses.

Keywords

Smoke Sorting 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Helder Coelho
    • 1
  • José Carlos Cotta
    • 1
  1. 1.Laboratorio Nacional de Engenharia CivilLisbonPortugal

Personalised recommendations