Beefy Boxes and Bandwidth Generously Provided by pair Networks
Clear questions and runnable code
get the best and fastest answer

Re: Bringing Logic Programming to Perl

by ihb (Deacon)
on Jan 22, 2005 at 17:08 UTC ( #424247=note: print w/replies, xml ) Need Help??

Help for this page

Select Code to Download

  1. or download this
    eq(X, X).
  2. or download this
    inc(X, succ(X)).   % you don't have to understand this.
  3. or download this
      foo :-
        inc(X, Y),         % Implicit RELATION.
        inc(X, Y),         % Same implicit relation.
        Y = succ(zero),    % Implicitly match X against zero.
        something(X, Y).   % same as something(zero, succ(zero)).

Log In?

What's my password?
Create A New User
Node Status?
node history
Node Type: note [id://424247]
and the web crawler heard nothing...

How do I use this? | Other CB clients
Other Users?
Others surveying the Monastery: (5)
As of 2016-10-24 10:21 GMT
Find Nodes?
    Voting Booth?
    How many different varieties (color, size, etc) of socks do you have in your sock drawer?

    Results (304 votes). Check out past polls.