Mercurial > hg > Applications > Lite
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 |