comparison lite.pl @ 19:e1d3145cff7a lite-verifier

*** empty log message ***
author kono
date Thu, 30 Aug 2007 12:44:35 +0900
parents f2aa38ce0787
children
comparison
equal deleted inserted replaced
18:a6adedccd5f6 19:e1d3145cff7a
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,infinite]). 37 :- ensure_loaded([dvcomp,rstd,chop,diag,kiss,ex,cp]).
38 % ,display]). 38 % ,display]).
39 39
40 % end 40 % end