Writing Makefile for Logic cp lib/Logic/Easy.pm blib/lib/Logic/Easy.pm cp lib/Logic/Basic.pm blib/lib/Logic/Basic.pm cp lib/Logic.pm blib/lib/Logic.pm cp lib/Logic/Data.pm blib/lib/Logic/Data.pm cp lib/Logic/Stack.pm blib/lib/Logic/Stack.pm cp lib/Logic/Variable.pm blib/lib/Logic/Variable.pm Manifying blib/man3/Logic.3 PERL_DL_NONLAZY=1 /Users/cpanrun/build/5.10.0/bin/perl "-MExtUtils::Command::MM" "-e" "test_harness(1, 'blib/lib', 'blib/arch')" t/*.t t/alternation....1..14 ok 1 - use Logic::Stack; ok 2 - use Logic::Basic; ok 3 - new alternation ok 4 - identity alternated succeeds ok 5 - backtrack fails ok 6 - identity | fail is identity ok 7 - backtrack fails ok 8 - fail | identity is identity ok 9 - backtrack fails ok 10 - identity | identity is identity ok 11 - backtrack succeeds ok 12 - backtrack again fails ok 13 - fail, but doesn't matter ok 14 - alternation represents addition ok t/easy...........1..12 ok 1 - use Logic::Easy; ok 2 - var ok 3 - var as mutator ok 4 - three variables declared ok 5 - x is a var ok 6 - y is a var ok 7 - z is a var ok 8 - Simple unification bind ok 9 - Void failing bind ok 10 - conditional binding ok 11 - variables stay variables after a failed binding A B C D D D D D D E ok 12 - bind with closure F ok t/multi..........1..13 ok 1 - use Logic::Easy; fibo+ fibo+ ok 2 - variant one ok 3 - variant two ok 4 - variant three ok 5 - variant one ok 6 - variant two ok 7 - variant three fibo- 0 ok 8 - fibo(0) == 1 fibo- 1 ok 9 - fibo(1) == 1 fibo- 2 fibo+ 2 fibo- 1 fibo- 0 ok 10 - fibo(2) == 2 fibo- 3 fibo+ 3 fibo- 2 fibo+ 2 fibo- 1 fibo- 0 fibo- 1 ok 11 - fibo(3) == 3 fibo- 4 fibo+ 4 fibo- 3 fibo+ 3 fibo- 2 fibo+ 2 fibo- 1 fibo- 0 fibo- 1 fibo- 2 fibo+ 2 fibo- 1 fibo- 0 ok 12 - fibo(4) == 5 ok 13 - quicksort ok t/pad............1..23 ok 1 - use Logic::Variable; ok 2 - test a ok 3 - test x ok 4 - test y ok 5 - test z ok 6 - test a ok 7 - test x ok 8 - test y ok 9 - test z ok 10 - test a ok 11 - test x ok 12 - test y ok 13 - test z ok 14 - test a ok 15 - test x ok 16 - test y ok 17 - test z ok 18 - revision 3 ok 19 - still revision 3 ok 20 - revision 3 stuff still here ok 21 - skipped revision 2 ok 22 - revision 1 stuff here now ok 23 - revision 2's diffs are gone ok t/primitive......1..31 ok 1 - use Logic::Stack; ok 2 - use Logic::Basic; ok 3 - use Logic::Data; ok 4 - identity succeeds ok 5 - identity fails on backtrack ok 6 - fail fails ok 7 - assertion doesn't run the code until entered ok 8 - assertion succeeds on true ok 9 - and actually ran the code ok 10 - assertion fails on backtrack ok 11 - and didn't run the code ok 12 - assertion fails on false ok 13 - rule fails on false ok 14 - and actually ran the code ok 15 - rule delegates identity ok 16 - even on backtracking ok 17 - and ran the code once ok 18 - unbound variable not bound ok 19 - bound variable bound ok 20 - code not run before enter ok 21 - assignment happened ok 22 - code was run ok 23 - assignment happened correctly ok 24 - assignment happened ok 25 - code was run ok 26 - first element worked ok 27 - second element/unification assign worked ok 28 - found one ok 29 - tried six things ok 30 - turns out that it's six ok 31 - nothing on backtrack ok t/sequence.......1..14 ok 1 - use Logic::Stack; ok 2 - use Logic::Basic; ok 3 - Sequence->new ok 4 - identity sequence ok 5 - backtrack is noop ok 6 - double identity ok 7 - backtrack is noop ok 8 - fail fails ok 9 - fail . identity fails ok 10 - identity . fail fails ok 11 - counter will always fail ok 12 - counted to ten properly ok 13 - counter always fails ok 14 - 10 x 10 = 100 ok t/stack..........1..4 ok 1 - use Logic::Stack; ok 2 - use Logic::Basic; ok 3 - Ultimately fails ok 4 - Ran correctly ok t/unify..........1..26 ok 1 - use Logic::Stack; ok 2 - use Logic::Basic; ok 3 - use Logic::Data; ok 4 - 1 == 1 ok 5 - 1 != 2 ok 6 - X = 1 ok 7 - X === 1 ok 8 - 42 = X ok 9 - X === 42 ok 10 - 144 = X, X = Y ok 11 - X === 144 ok 12 - Y === 144 ok 13 - X = Y, Y = 13 ok 14 - Y === 13 ok 15 - X === 13 ok 16 - X = [1, Y, 3], [1, 2, 3] = X ok 17 - Y === 2 ok 18 - X === [1, 2, 3] ok 19 - [X|Y] = [1, 2, 3] ok 20 - X === 1 ok 21 - Y === [2, 3] ok 22 - [ X, 4, 5 ] = [X|Y] ok 23 - Y === [4, 5] ok 24 - X is unbound ok 25 - 2 = 1|2|3 ok 26 - 2 /= 1|2|3 ok All tests successful. Files=8, Tests=137, 3 wallclock secs ( 1.30 cusr + 0.30 csys = 1.60 CPU) Installing /Users/cpanrun/build/5.10.0/html/site/lib/Logic.html Installing /Users/cpanrun/build/5.10.0/site/lib/Logic.pm Installing /Users/cpanrun/build/5.10.0/site/lib/Logic/Basic.pm Installing /Users/cpanrun/build/5.10.0/site/lib/Logic/Data.pm Installing /Users/cpanrun/build/5.10.0/site/lib/Logic/Easy.pm Installing /Users/cpanrun/build/5.10.0/site/lib/Logic/Stack.pm Installing /Users/cpanrun/build/5.10.0/site/lib/Logic/Variable.pm Installing /Users/cpanrun/build/5.10.0/site/man/man3/Logic.3 Appending installation info to /Users/cpanrun/build/5.10.0/lib/perllocal.pod make: *** [doc_update] Hangup