Enable ¬ as prefix operator in the term parser

carneades / carneades-4

Version 4 of Carneades, implemented in Go

https://carneades.github.io/

Other

48 stars 13 forks source link

Enable ¬ as prefix operator in the term parser #15

Closed tfgordon closed 8 years ago

tfgordon commented 8 years ago

It would be nice to use the usual ¬ operator for negation, which is possible thanks to Unicode. Go supports Unicode fully, and SWI Prolog also allows unicode characters to be used in the definition of operators.

I'm not sure what the precedence level should be. How about, in Prolog:

:- op(900, fx, ¬).

hfried commented 8 years ago

done