Beefy Boxes and Bandwidth Generously Provided by pair Networks
good chemistry is complicated,
and a little bit messy -LW

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: (6)
As of 2015-12-01 07:39 GMT
Find Nodes?
    Voting Booth?

    What would be the most significant thing to happen if a rope (or wire) tied the Earth and the Moon together?

    Results (795 votes), past polls