This version of Learn Prolog Now! embeds SWI SH , SWI-Prolog for SHaring. The current version rewrites the Learn Prolog Now! HTML on the fly, recognising source code and example queries. It is not yet good at recognising the relations between source code fragments and queries. Also Learn Prolog Now! needs some updating to be more compatible with SWI-Prolog. All sources are on GitHub:
LearnPrologNow LPN SWISH Proxy SWISH
Learn Prolog Now!
by Patrick Blackburn, Johan Bos, and Kristina Striegnitz

[ next ] [ prev ] [ prev-tail ] [ tail ] [ up ]

Chapter 11
Database Manipulation and Collecting Solutions

This chapter has two main goals:

  1. To discuss database manipulation in Prolog.
  2. To discuss built-in predicates that let us collect all solutions to a problem into a single list.
  11.1 Database Manipulation
  11.2 Collecting Solutions
   The findall/3 predicate
   The bagof/3 predicate
   The setof/3 predicate
  11.3 Exercises
  11.4 Practical Session

[ next ] [ prev ] [ prev-tail ] [ front ] [ up ]

eXTReMe Tracker
© 2006-2012 Patrick Blackburn, Johan Bos, Kristina Striegnitz