Re: Meaning of ':' and '{}'

Hello everyone,

I had a problem with ':' in the developement of expert shell in SWI



KNOWLEDGE BASE

:- op(900,xfx,':').
:- op(880,xfx,then).
:- op(870,fx,if).
:- op(550,xfy,or).



rule : if a or b or c or d or e then problem.
%% Note the ':'

END KNOWLEDGE BASE


c:/pl/test.pl compiled 0.00 sec, 1,088 bytes
Welcome to SWI-Prolog (Multi-threaded, Version 5.4.7)
Copyright (c) 1990-2003 University of Amsterdam.
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.

For help, use ?- help(Topic). or ?- apropos(Word).

1 ?- listing.

Yes
2 ?-


This shows no rule.
If we replace ':' by any other atom it gives proper result.
Does any thing wrong with ':' ?
Please, can any one give me the solution on it to use in SWI ?




-------------------------------
yours
Advait

.

Relevant Pages

  • IMPORTANT SWI BUG:What Cant Be Done Twice? See? Tell? Or Others?
    ... Let me explain configuartions of my SWI prolog: ... % 'random' is an arithmetic function in SWI-Prolog ... % 'concat' must be replaced with 'concat_str' for string concatenation ... concat/3 is a built-in predicate in SWI-Prolog for the ...
    (comp.lang.prolog)
  • Re: large databases
    ... I cannot reproduce the problem with Swi. ... Maybe my screen session crashed or there was a server problem. ... SWI-Prolog comes with ABSOLUTELY NO WARRANTY. ... That will load data and produce the file date.qlf. ...
    (comp.lang.prolog)
  • Re: Operator ambiguity - was LPTP - was Prolog compiler for Windows XP.
    ... >> Considering the heavy use of operators checking whether SWI-Prolog ... > That seems to be the cause for LPTP not working in SWI. ... as both infix and postfix. ... Is there an accepted test-set to ensure all Prolog systems ...
    (comp.lang.prolog)
  • Re: String is not string in SWI-Prolog ?
    ... Read sections 4.23 and 2.11 of the swi manual. ... And I search 'string' in the manual and get from page 16 the followings ... SWI-Prolog comes with ABSOLUTELY NO WARRANTY. ... For finding a real example of string in SWI prolog, ...
    (comp.lang.prolog)