80 lines
2.5 KiB
Perl
80 lines
2.5 KiB
Perl
|
/* $Id$
|
||
|
|
|
||
|
|
Part of CHR (Constraint Handling Rules)
|
||
|
|
|
||
|
|
Author: Bart Demoen, Tom Schrijvers
|
||
|
|
E-mail: Tom.Schrijvers@cs.kuleuven.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., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 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.
|
||
|
|
*/
|
||
|
|
|
||
|
|
%% @addtogroup CHR_in_YAP_Programs
|
||
|
|
%
|
||
|
|
% CHR controlling the compiler
|
||
|
|
%
|
||
|
|
:- 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),
|
||
|
|
copy_term_nat(Template-Key-Goal,TemplateC-KeyC-GoalC),
|
||
|
|
findall(KeyC - TemplateC, GoalC, 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), !.
|
||
|
|
|
||
|
|
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
|
||
|
|
:- dynamic
|
||
|
|
user:goal_expansion/2.
|
||
|
|
:- multifile
|
||
|
|
user:goal_expansion/2.
|
||
|
|
|
||
|
|
user:goal_expansion(forall(Element,List,Test), GoalOut) :-
|
||
|
|
nonvar(Test),
|
||
|
|
Test =.. [Functor,Arg],
|
||
|
|
Arg == Element,
|
||
|
|
GoalOut = once(maplist(Functor,List)).
|