search

SWI-Prolog / issues

Dummy repository for issue tracking
7 stars 3 forks source link

SWISH bug parsing term with 'table' #51

Closed mcalejo closed 7 years ago

mcalejo commented 7 years ago

The following succeeds on SWI Prolog:

XX = ( Block \= table, location(_,Block) ).

... but it reports a syntax error on SWISH (last github version, 38d02d2)

XX = ( Block \= table, location(_,Block) ). ^ Syntax error: Operator expected

Changing 'table' to some other atom (or putting () around Block \= table ) removes the error

JanWielemaker commented 7 years ago

SWISH preloads library(tabling) which defines table as an operator. Use Block = (table) or, SWI-Prolog specific: Block = 'table'.