Mercurial > hg > Applications > Lite

diff dvcomp.pl @ 20:07d6c4c5654b iso-prolog

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
SICStus v4 (ISO prolog syntax)
author kono
date Thu, 30 Aug 2007 14:16:36 +0900
parents e1d3145cff7a
children 29cf617f49db
line wrap: on
line diff
--- a/dvcomp.pl	Thu Aug 30 12:44:35 2007 +0900
+++ b/dvcomp.pl	Thu Aug 30 14:16:36 2007 +0900
@@ -334,12 +334,12 @@
 
 init :-
 	subterm_init,
-        abolish(itl_state,2),
-        abolish(stay,3),asserta(stay(0,0,0)),
+        r_abolish(itl_state,2),
+        r_abolish(stay,3),asserta(stay(0,0,0)),
         asserta(itl_state(false,false)),
         asserta(itl_state(empty,0)),
         asserta(itl_state(true,true)),
-	abolish(links,2),asserta(links(true,true)),
+	r_abolish(links,2),asserta(links(true,true)),
         init_var(current,0),
         init_var(over,0),
         init_var(itl_transition,0),
@@ -360,7 +360,7 @@
 	inc_var(itl_state_number,S),
 	assert(itl_state(STD,S)),!.
 
-init_var(X,V) :- abolish(X,1),functor(F,X,1),arg(1,F,V),assert(F),!.
+init_var(X,V) :- r_abolish(X,1),functor(F,X,1),arg(1,F,V),assert(F),!.
 inc_var(Name,X1) :- 
         functor(F,Name,1),retract(F),arg(1,F,X),
         X1 is X+1,functor(F1,Name,1),arg(1,F1,X1),