view op.pl @ 20:07d6c4c5654b iso-prolog

SICStus v4 (ISO prolog syntax)
author kono
date Thu, 30 Aug 2007 14:16:36 +0900
parents 1c57a78f1d98
children
line wrap: on
line source

:-op(900,xfy,[(&),('&&')]).
:-op(600,xfy,['<->','\\=',proj]).
:-op(600,xfy,['=>','<=']).
:-op(60,fy,['~','#','<>', '@',^]).
:-op(60,fy,[*]).