(Message 2) From: HELEN HPS (on ERCC DEC-10) Date: Wednesday, 16-Jan-85 14:04:47-GMT To: ecmi08@2972,Pain@EDXA Via: uk.ac.edinburgh.edxa ; (to uk.ac.edinburgh.emas) 16 Jan 85 14:06:00 gmt Msg ID: <132001-454-275@EDXA> -------- /* CONN. Operator Declarations for Logical Connectives Alan Bundy 27.8.82 */ :- op(980,xfy,['->','<->']). /* implication and equivalence */ :- op(850,xfy,v). /* disjunction */ :- op(710,fy,~). /* negation */ --------