search

alessandro-montanari / tuprolog

Automatically exported from code.google.com/p/tuprolog
0 stars 0 forks source link

Bar '|' cannot be used as an operator #32

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
What steps will reproduce the problem?

The following code extracted from the leancop theorem proving system does not 
parse in the graphical tuProlog GUI:

  :- op(1100, xfy, '|').  % disjunction
  op_tptp2((A|B),(A1;B1),       [A,B],[A1,B1]).

Error Setting Theory: Syntax Error at/before line 2

What version of the product are you using? On what operating system?
tuProlog 2.8
Java jdk1.7.0_25
Windows 8.1

Please provide any additional information below.

I realize that the tuProlog parser may treat the bar character as a "keyword" 
because of its use in lists, but I could not find any indication in Deransart, 
et. al, _Prolog: The Standard_, that bar was excluded as an operator. The 
leancop system claims to run on SWI,and SICStus, though I have not tested it on 
those myself.

Original issue reported on code.google.com by co...@acm.org on 3 Jun 2014 at 1:52