11 Database Manipulation and Collecting Solutions

This lecture has two main goals:

1. To discuss database manipulation in Prolog.

2. To discuss inbuilt predicates that let us collect all solutions to a problem into a single list.

• 11.1 Database manipulation

• 11.2 Collecting solutions
  • 11.2.1 findall/3
  • 11.2.2 bagof/3
  • 11.2.3 setof/3

• 11.3 Exercises

• 11.4 Practical Session 11