See this document in CiteSeerX!

Programming in Pure Prolog  (Make Corrections)  
Chapter 5 We learned in Chapter 3 that logic programs can be used for...



  Home/Search   Context   Related

 
View or download:
cwi.nl/~apt/constraints/ch5.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cwi.nl/~apt/krzysztof (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: this domain. Then, in Section 5.5 we introduce a fundamental data structure of Prolog --- that of lists and provide several classic programs that use them. In the subsequent section an example of a program is given which illustrates Prolog's use of terms to represent complex objects. Then in Section 5.7 we introduce another important data structure --- that of binary trees and present various programs computing over them. We conclude 104 Introduction 105 the chapter by trying to assess in... (Update)

Active bibliography (related documents):   More   All
0.5:   Towards Full Prolog - Apt   (Correct)
0.0:   Scheduling Speculative Work in MUSE and Performance Results - Ali, Karlsson (1992)   (Correct)
0.0:   The (Lazy) Functional Side of Logic Programming - Etalle, Mountjoy (2000)   (Correct)

BibTeX entry:   (Update)

@misc{ in-programming,
  author = "We Learned In",
  title = "Programming in Pure Prolog",
  url = "citeseer.ist.psu.edu/433804.html" }
Citations (may not include all citations):
440   The Art of Prolog (context) - Sterling, Shapiro - 1986
363   Programming in Prolog (context) - Clocksin, Mellish - 1984
181   Mathematical Logic (context) - Shoenfield - 1967
127   PROLOG Programming for Artificial Intelligence (context) - Bratko - 1986
97   The Craft of Prolog (context) - O'Keefe - 1990
54   SICStus Prolog User's Manual (context) - Carlsson, Wid'en - 1993
37   Warren's Abstract Machine (context) - Ait-Kaci - 1991
14   Prolog by Example (context) - Coelho, Cotta - 1988
2   Comparing negation in logic programming and in Prolog - Apt, Teusink - 1995

Documents on the same site (http://www.cwi.nl/~apt/krzysztof.html):   More
Constraint Programming - Group (1996)   (Correct)
Principles of Constraint Programming - Apt (2000)   (Correct)
Chapter 4 Local Consistency Notions - Would   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC