use Perl

• 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)

      Yup. I wonder how it got here.

      --
      Bill
      # I had a sig when sigs were cool
      use Sig;
• Development-Bugzilla now compiling (Score:2)

  by TeeJay (2309)

  I've uploaded the changes I did last and it should compile.

  Now to write the examples, from which I will get the tests and documentation, which will give me examples, which....

  --
  
  @JAPH = qw(Hacker Perl Another Just);
  print reverse @JAPH;