possible PowerLoom bug...

STELLA(94): (retrieve all ?x (expert ?x))
Warning: Bug: PowerLoom doesn't know how to handle a LOGIC-OBJECT that 
   denotes a collection.  Please complain to your PowerLoom dealer.

[above message repeats until I break the lisp REPL.]

I believe I messed up my knowledgebase, by using some terms that
butted up against built-in relations for collections.

But this is perhaps something that should be changed?  If this is
going to send PowerLoom into a tizzy, perhaps it should be changed
from a warning into an error?  That would also allow the user to
provide better feedback.

I *was* able to break this in a somewhat inelegant way.  Seems like
getting into the CL debugger can lead to some spectacular print
confusions --- on my screen a backtrace that shows arguments of some
internal types shows up with Chinese characters!

STELLA(105): (cl:let ((cl:*break-on-signals* cl:t))
	      (retrieve all ?x (expert ?x)))
Break: Bug: PowerLoom doesn't know how to handle a LOGIC-OBJECT that 
   denotes a collection.  Please complain to your PowerLoom dealer.

break entered because of *break-on-signals*.

Restart actions (select using :continue):
 0: return from break.
 1: skip warning.
 2: continue processing.
 3: Return to Top Level (an "abort" restart).
 4: Abort entirely from this (lisp) process.
[1c] STELLA(106): :bt
Evaluation stack:

CL:SIGNAL <-
  CL:WARN <- MEMBER-OF-COLLECTION? <- /PL-KERNEL-KB/MEMBER-OF-SPECIALIST <- CONTINUE-SPECIALIST-PROOF <-
  EXECUTE-PROOF-STRATEGY <- CONTINUE-CURRENT-OR-NEXT-STRATEGY <- CONTINUE-STRATEGIES-PROOFS <-
  EVALUATE-NEXT-MOVE <- EXECUTE-BACKWARD-CHAINING-PROOF? <- (CL:METHOD NEXT? (QUERY-ITERATOR)) <- [... NEXT? ] <-
  CALL-RETRIEVE <- %RETRIEVE <- [... EXCL::EVAL-AS-PROGN ] <- CL:LET <- [... EXCL::%EVAL ] <- CL:EVAL <-
  TPL:TOP-LEVEL-READ-EVAL-PRINT-LOOP <- TPL:START-INTERACTIVE-TOP-LEVEL

[1c] STELLA(107): :dn 2
Evaluation stack:

   (CL:BREAK "~a~%break entered because of *break-on-signals*." #<CL:SIMPLE-WARNING @ #x72e6e63a>)
   (CL:SIGNAL #<CL:SIMPLE-WARNING @ #x72e6e63a>)
   (CL:WARN
      "Bug: PowerLoom doesn't know how to handle a LOGIC-OBJECT that ~%   denotes a collection.  Please complain to your PowerLoom dealer.~%")
 ->(MEMBER-OF-COLLECTION? |c|SET |i|UNITED-STATES)
   (/PL-KERNEL-KB/MEMBER-OF-SPECIALIST |CF|1[2 :ATOMIC-GOAL :SPECIALIST  UP: 2  DOWN: NULL-INTEGER  DEPTH: 22 |Pd?|
      ?$(H6y$(D>{$AlJ?$(H6y$(3"U??$(H6y
      :DOWN)
   (CONTINUE-SPECIALIST-PROOF |CF|1[2 :ATOMIC-GOAL :SPECIALIST  UP: 2  DOWN: NULL-INTEGER  DEPTH: 22 |Pd?|
      ?$(H6y$(D>{$AlJ?$(H6y$(3"U??$(H6y
      :DOWN)
   (EXECUTE-PROOF-STRATEGY |CF|1[2 :ATOMIC-GOAL :SPECIALIST  UP: 2  DOWN: NULL-INTEGER  DEPTH: 22 |Pd?|(MEMBER-OF ?h
      
   (CONTINUE-CURRENT-OR-NEXT-STRATEGY |CF|1[2 :ATOMIC-GOAL :SPECIALIST  UP: 2  DOWN: NULL-INTEGER  DEPTH: 22 |Pd?|
      ?$(H6y$(D>{$AlJ?$(H6y$(3"U??$(H6y
   (CONTINUE-STRATEGIES-PROOFS |CF|1[2 :ATOMIC-GOAL :SPECIALIST  UP: 2  DOWN: NULL-INTEGER  DEPTH: 22 |Pd?|
      ?$(H6y$(D>{$AlJ?$(H6y$(3"U??$(H6y
      :DOWN)

... more older frames ...
[1c] STELLA(108):

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