-->?

From: Finton Stack (fintonstack_at_gmx.net)
Date: 03/02/05 

Date: Wed, 02 Mar 2005 00:05:12 +0100

Hi there!

Can somebody tell me what --> does in prolog?

I found this in an example like this here:

% pa(L,Rest) - Replace strings X with strings K and print K
pa --> [] .
pa --> {X/K} , X , { putl(K) , ! } , pa .

           ">" / ">'".
           "<" / "'<".
          [10] / [] .
          [13] / [] .
          [-1] / [].
           [X] / [X].

Thanks,

Finton