Advertisement

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

Logic Program Verbal Statement Prolog Program Integer Division Lucky Strike 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

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