comparison lite.pl @ 10:f2aa38ce0787

add state display.
author kono
date Fri, 19 Jan 2001 23:14:00 +0900
parents 9b86eb10b61c
children e1d3145cff7a
comparison
equal deleted inserted replaced
9:95897517e464 10:f2aa38ce0787
32 %?-op(700,xfy,['<->','\=',proj]). 32 %?-op(700,xfy,['<->','\=',proj]).
33 %?-op(60,fy,['~','#','<>', '@',^]). 33 %?-op(60,fy,['~','#','<>', '@',^]).
34 %?-op(60,fy,[*]). 34 %?-op(60,fy,[*]).
35 ?-[op]. 35 ?-[op].
36 % :- use_module(library(gmlib)). 36 % :- use_module(library(gmlib)).
37 :- ensure_loaded([dvcomp,rstd,chop,diag,kiss,ex,cp]). 37 :- ensure_loaded([dvcomp,rstd,chop,diag,kiss,ex,cp,infinite]).
38 % ,display]). 38 % ,display]).
39 39
40 % end 40 % end