|
Daniel@0
|
1 /* Part of DML (Digital Music Laboratory)
|
|
Daniel@0
|
2 Copyright 2014-2015 Samer Abdallah, University of London
|
|
Daniel@0
|
3
|
|
Daniel@0
|
4 This program is free software; you can redistribute it and/or
|
|
Daniel@0
|
5 modify it under the terms of the GNU General Public License
|
|
Daniel@0
|
6 as published by the Free Software Foundation; either version 2
|
|
Daniel@0
|
7 of the License, or (at your option) any later version.
|
|
Daniel@0
|
8
|
|
Daniel@0
|
9 This program is distributed in the hope that it will be useful,
|
|
Daniel@0
|
10 but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
Daniel@0
|
11 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
Daniel@0
|
12 GNU General Public License for more details.
|
|
Daniel@0
|
13
|
|
Daniel@0
|
14 You should have received a copy of the GNU General Public
|
|
Daniel@0
|
15 License along with this library; if not, write to the Free Software
|
|
Daniel@0
|
16 Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
|
|
Daniel@0
|
17 */
|
|
Daniel@0
|
18
|
|
Daniel@0
|
19 :- module(insist, [insist/1,insist/2, insist/3]).
|
|
Daniel@0
|
20 :- meta_predicate insist(0,:), insist(0), insist(+,0,:).
|
|
Daniel@0
|
21
|
|
Daniel@0
|
22 insist(G) :- insist(G,failed(G)).
|
|
Daniel@0
|
23 insist(G,Ex) :- call(G) -> true; throw(Ex).
|
|
Daniel@0
|
24 insist(det,G,Ex) :- insist(G,Ex).
|
|
Daniel@0
|
25 insist(multi,G,Ex) :- call(G) *-> true; throw(Ex).
|
|
Daniel@0
|
26
|
|
Daniel@0
|
27 user:goal_expansion(insist(G),X) :- user:goal_expansion(insist(G,failed(G)),X).
|
|
Daniel@0
|
28 user:goal_expansion(insist(G,Ex),(G->true;throw(Ex))).
|
|
Daniel@0
|
29 user:goal_expansion(insist(det,G,Ex),X) :- user:goal_expansion(insist(G,Ex),X).
|
|
Daniel@0
|
30 user:goal_expansion(insist(multi,G,Ex),(G*->true;throw(Ex))).
|
