Beefy Boxes and Bandwidth Generously Provided by pair Networks
laziness, impatience, and hubris
 
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 examining the Monastery: (6)
As of 2015-08-01 00:49 GMT
Sections?
Information?
Find Nodes?
Leftovers?
    Voting Booth?

    The top three priorities of my open tasks are (in descending order of likelihood to be worked on) ...









    Results (285 votes), past polls