63 lines
2.1 KiB
Perl
63 lines
2.1 KiB
Perl
|
/* $Id: find.pl,v 1.1 2005-10-28 17:41:30 vsc Exp $
|
||
|
|
|
||
|
|
Part of CHR (Constraint Handling Rules)
|
||
|
|
|
||
|
|
Author: Bart Demoen, Tom Schrijvers
|
||
|
|
E-mail: Tom.Schrijvers@cs.kuleuven.ac.be
|
||
|
|
WWW: http://www.swi-prolog.org
|
||
|
|
Copyright (C): 2003-2004, K.U. Leuven
|
||
|
|
|
||
|
|
This program is free software; you can redistribute it and/or
|
||
|
|
modify it under the terms of the GNU General Public License
|
||
|
|
as published by the Free Software Foundation; either version 2
|
||
|
|
of the License, or (at your option) any later version.
|
||
|
|
|
||
|
|
This program is distributed in the hope that it will be useful,
|
||
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
||
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
||
|
|
GNU General Public License for more details.
|
||
|
|
|
||
|
|
You should have received a copy of the GNU Lesser General Public
|
||
|
|
License along with this library; if not, write to the Free Software
|
||
|
|
Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
|
||
|
|
|
||
|
|
As a special exception, if you link this library with other files,
|
||
|
|
compiled with a Free Software compiler, to produce an executable, this
|
||
|
|
library does not by itself cause the resulting executable to be covered
|
||
|
|
by the GNU General Public License. This exception does not however
|
||
|
|
invalidate any other reasons why the executable file might be covered by
|
||
|
|
the GNU General Public License.
|
||
|
|
*/
|
||
|
|
|
||
|
|
:- module(chr_find,
|
||
|
|
[
|
||
|
|
find_with_var_identity/4,
|
||
|
|
forall/3,
|
||
|
|
forsome/3
|
||
|
|
]).
|
||
|
|
|
||
|
|
:- use_module(library(lists)).
|
||
|
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||
|
|
|
||
|
|
:- meta_predicate
|
||
|
|
find_with_var_identity(?, +, :, -),
|
||
|
|
forall(-, +, :),
|
||
|
|
forsome(-, +, :).
|
||
|
|
|
||
|
|
find_with_var_identity(Template, IdVars, Goal, Answers) :-
|
||
|
|
Key = foo(IdVars),
|
||
|
|
findall(Key - Template, Goal, As),
|
||
|
|
smash(As,Key,Answers).
|
||
|
|
|
||
|
|
smash([],_,[]).
|
||
|
|
smash([Key-T|R],Key,[T|NR]) :- smash(R,Key,NR).
|
||
|
|
|
||
|
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||
|
|
forall(X,L,G) :-
|
||
|
|
\+ (member(X,L), \+ call(G)).
|
||
|
|
|
||
|
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||
|
|
forsome(X,L,G) :-
|
||
|
|
member(X,L),
|
||
|
|
call(G), !.
|