Table of Contents
All Solutions in Prolog
Finding all solutions
setof(?Template,:Goal,?Set)
Setof example
Existential quantifier
bagof(?Template,:Goal,?Bag)
findall(?Template,:Goal,?Bag)
Implementing findall/3
Implementing findall/3
|
Author: tim finin
Email: finin@umbc.edu
Home Page: http://umbc.edu/~finin
|