Mercurial > hg > Applications > Lite
view op.pl @ 19:e1d3145cff7a lite-verifier
*** empty log message ***
author | kono |
---|---|
date | Thu, 30 Aug 2007 12:44:35 +0900 |
parents | 1c57a78f1d98 |
children | 07d6c4c5654b |
line wrap: on
line source
:-op(900,xfy,[(&),('&&')]). :-op(600,xfy,['<->','\=',proj]). :-op(600,xfy,['=>','<=']). :-op(60,fy,['~','#','<>', '@',^]). :-op(60,fy,[*]).