Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!rochester!udel!news.sprintlink.net!pipex!sunic!sunic.sunet.se!news.lth.se!news.lu.se!venus.ling.lu.se!user
From: Johan.Dahl@ling.lu.se (Johan Dahl)
Subject: Re: [Q] - colon operator (:) in SWI Prolog
Message-ID: <Johan.Dahl-0804951944220001@venus.ling.lu.se>
Sender: news@nomina.lu.se (USENET News System)
Nntp-Posting-Host: venus.ling.lu.se
Organization: Lingvistics & Phonetics, Univ. of Lund, Sweden
References: <ryoung.166.007F2993@utdallas.edu>
Date: Sat, 8 Apr 1995 17:44:22 GMT
Lines: 31

In article <ryoung.166.007F2993@utdallas.edu>, ryoung@utdallas.edu (Young
U . Ryu) wrote:

> [Posted on 7 April 1995]
> 
> While reading the SWI Prolog manual (and checking with current_op/3), I found
> ':' is defined as an operator, but could not find its use or definition.
> 
>      :- op(600, xfy, ':')
> 
> Can anyone explain what's the use of it?
> 
> Thanks in advance.
> 
> Young
> 
> 

Many newer Prologs define this as a binary operator even if they don't
implement it's use, which (if I remember right) is with different
namespaces.

If you have to predicates both called foo in two different namespaces a
and b, you can call the two foo's with a:foo(...) and b:foo(...). 

If someone is more sure than I he/she is probebly more correct.
-- 
Johan Dahl Johan.Dahl@ling.lu.se
Department of Lingvistics and Phonetics
University of Lund
Sweden
