% ==========================================================================
% $Id: bag_numbers.pl,v 1.1 2014/01/23 04:34:04 jlang Exp $
% CSI2120 example Code for lecture 6
% ==========================================================================
% (C)opyright:
%
%   Robert Laganiere
%   EECS, University of Ottawa
%   800 King Edward Ave.
%   Ottawa, On., K1N 6N5
%   Canada. 
%   http://www.eecs.uottawa.ca/~jlang
% 
% Creator: jlang (Jochen Lang)
% Email:   jlang@eecs.uottawa.ca
% ==========================================================================
% $Log: bag_numbers.pl,v $
% Revision 1.1  2014/01/23 04:34:04  jlang
% Created examples for lecture 6
%
% ==========================================================================
bag(2,4,1).
bag(3,5,2).
bag(7,8,2).
bag(4,3,1).
bag(5,2,4).
bag(2,1,4).
bag(2,2,4).
bag(7,3,5).
bag(7,3,3).

% Queries
% ?- bagof(Z,bag(X,Y,Z),B).
% ?- bagof(Z,(bag(X,Y,Z),Z>2),B).
% Not binding a variable in a goal with the ^ operator
% ?- bagof(Z,X^bag(X,Y,Z),B).
% ?- setof(Z,X^bag(X,Y,Z),B).
% ?- bagof(Z,X^Y^bag(X,Y,Z),B).
% Not binding any varible in the goal
% ?- findall(Z,bag(X,Y,Z),B).