Beefy Boxes and Bandwidth Generously Provided by pair Networks Frank
We don't bite newbies here... much
 
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 exploiting the Monastery: (16)
As of 2014-04-17 20:11 GMT
Sections?
Information?
Find Nodes?
Leftovers?
    Voting Booth?

    April first is:







    Results (454 votes), past polls