Beefy Boxes and Bandwidth Generously Provided by pair Networks Cowboy Neal with Hat
Do you know where your variables are?
 
PerlMonks  

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?
Username:
Password:

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

How do I use this? | Other CB clients
Other Users?
Others romping around the Monastery: (5)
As of 2013-05-25 10:55 GMT
Sections?
Information?
Find Nodes?
Leftovers?
    Voting Booth?

    The best material for plates (tableware) is:









    Results (519 votes), past polls