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

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/kiss.pl	Thu Aug 30 12:44:35 2007 +0900
+++ b/kiss.pl	Thu Aug 30 14:16:36 2007 +0900
@@ -12,7 +12,7 @@
 
 % :- dynamic st_variables/2.
 
-set_input_var(L) :- abolish(input_variable_list,1),
+set_input_var(L) :- r_abolish(input_variable_list,1),
 	asserta(input_variable_list(L)).
 
 kiss :-
@@ -178,8 +178,8 @@
 	read_kiss_body(C1,In,Out,Emode).
 
 init_read_kiss(In,Out,IL,OL) :-
-	abolish(st_variables,2),
-	abolish(st,3),
+	r_abolish(st_variables,2),
+	r_abolish(st,3),
 	assert(st_variables(In,Out)),
 	assert(st(true,true,true)),
 	length(In,IL),length(Out,OL).
@@ -264,7 +264,7 @@
 read_kiss_state1(C,C1,[]) :-
 	skip_space(C,C1),!.
 
-skip_space(C,C1):- ([C]=" ";[C]="	"),!,
+skip_space(C,C1):- ([C]=[32];[C]=[9]),!,
 	get(C0),skip_space(C0,C1).
 skip_space(C,C).