Powerloom demo test not working...

I am trying the following (from the test-suite.plm) in CMUCL



;;; PROPER HANDLING OF INEQUALITY RETRACTION



(clear-module "TEST")



(deffunction age (?p) :-> (?a integer))



(assert (< (age bill) 12))

(assert (> (age bill) 10))



;;; SHOULD RETURN 11:

(retrieve ?x (= (age bill) ?x))



Error in function HELP-BIND-VARIABLE-TO-VALUE?:

   `:NONE' is not a valid case option

   [Condition of type STELLA-EXCEPTION]



Restarts:

 0: [ABORT] Return to SLIME's top level.

 1: [ABORT] Return to Top-Level.



Backtrace:

  0: (HELP-BIND-VARIABLE-TO-VALUE? #<#1=unavailable-arg> #<#1#>)

  1: (ARGUMENTS-UNIFY-WITH-ARGUMENTS? #<#1=unavailable-arg> #<#1#>)

  2: (TRY-SCAN-PROPOSITIONS-PROOF #<unavailable-arg>)

....

Evaluation aborted...



Thanks

Srini

_______________________________________________
powerloom-forum mailing list
[email protected]
http://mailman.isi.edu/mailman/listinfo/powerloom-forum