Stories
Slash Boxes
Comments

NOTE: use Perl; is on undef hiatus. You can read content, but you can't post it. More info will be forthcoming forthcomingly.

use Perl

All the Perl that's Practical to Extract and Report

search and replace in SQL Server More | Login | Reply

The Fine Print: The following comments are owned by whoever posted them. We are not responsible for them in any way.

Without JavaScript enabled, you might want to use the classic discussion system instead. If you login, you can remember this preference.

Prolog and Arithmetic (Score:1)

by n1vux (1492)

As somone who tried to do only barely non-trivial arithmetic in a Prolog setting once, I am not surprised that WProlog doesn't feel the need of it. Peano axiom arithmetic would have worked better!
The maze program's suc/2 predicate provides equivalent to Peano axioms. Interesting, the wall/1 predicate defines a wall around two sides of a node, toward the lower numbers?
It's unclear to me why solve(p(2,2), L) would run long, but I'm assmunig its because it depth-first searches and has to backtrack from p(

--
Bill
# I had a sig when sigs were cool
use Sig;
- Re:Prolog and Arithmetic (Score:1)
  
  by broquaint (2964)
  
  Shouldn't this be on reply to Ovid's recent journal entry [perl.org]?
  
  --
  broquaint out
  - Re:Prolog and Arithmetic (Score:1)
    
    by n1vux (1492) on 2005.02.03 15:31 (#37982) Homepage Journal
    
    Yup. I wonder how it got here.
    
    --
    Bill
    # I had a sig when sigs were cool
    use Sig;
    
    Reply to This
    
    Parent

Get More Comments

Stories, comments, journals, and other submissions on use Perl; are Copyright 1998-2006, their respective owners.