Re: Powerloom demo test not working...

See the note at the bottom of my other reply.

The problem is that the Lisp keyword :NONE was used instead of the  
Stella keyword :NONE

Something else to make sure we add to the Lisp-specific documentation.

On Aug 21, 2008, at 3:13 PM, Thomas Russ wrote:

>
> On Aug 21, 2008, at 11:58 AM, Srini Ram wrote:
>
>> I am trying the following (from the test-suite.plm) in CMUCL
>
> This particular example works for me on CMUCL 19e:
>
> CMU Common Lisp 19e (19E), running on cowabunga.isi.edu
> With core: /opt/local/cmucl-19e/lib/cmucl/lib/lisp.core
> Dumped on: Thu, 2008-05-01 17:38:02-07:00 on macmini
> See <http://www.cons.org/cmucl/> for support information.
> Loaded subsystems:
>     Python 1.1, target Intel x86
>     CLOS based on Gerd's PCL 2004/04/14 03:32:47
>
>
>>
>>
>> ;;; 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...
>
> I wonder if somehow your lisp version of PowerLoom didn't initialize
> properly when loading.  There should be a single instance of the
> Stella keyword :NONE that is used.
>
> All of the following symbols are in the Stella package.
> The object used in the function where it is failing is stored in
> the variable
>      kwd-query-none
> If this ends up not being a proper Stella keyword object, then
> there is some problem with the loading and initialization.  All of
> that should happen automatically when PowerLoom loads.
>
>   What is the value of kwd-query-none ?
>
> Also the value of
>      *type-check-strategy*
> should also be a valid keyword, although since this gets set
> during processing, it will likely not be :none, but instead be :lookup
>
> If you load things into a fresh lisp, do you still have these  
> problems?
>
>
>
>
>
> _______________________________________________
> powerloom-forum mailing list
> [email protected]
> http://mailman.isi.edu/mailman/listinfo/powerloom-forum