gistfile1.txt

ch24_prolog.lisp:119:1:
  style-warning: 
    The variable REFS is defined but never used.
    --> PROGN EVAL-WHEN 
    ==>
      (SB-IMPL::%DEFUN 'MATCH1
                       (SB-INT:NAMED-LAMBDA MATCH1
                           (REFS THEN ELSE)
                         (BLOCK MATCH1
                           (DBIND (# . REST)
                               REFS
                             (COND # # # #))))
                       NIL 'NIL (SB-C:SOURCE-LOCATION))
    
  style-warning: 
    The variable THEN is defined but never used.
    --> PROGN EVAL-WHEN 
    ==>
      (SB-IMPL::%DEFUN 'MATCH1
                       (SB-INT:NAMED-LAMBDA MATCH1
                           (REFS THEN ELSE)
                         (BLOCK MATCH1
                           (DBIND (# . REST)
                               REFS
                             (COND # # # #))))
                       NIL 'NIL (SB-C:SOURCE-LOCATION))
    
  style-warning: 
    The variable ELSE is defined but never used.
    --> PROGN EVAL-WHEN 
    ==>
      (SB-IMPL::%DEFUN 'MATCH1
                       (SB-INT:NAMED-LAMBDA MATCH1
                           (REFS THEN ELSE)
                         (BLOCK MATCH1
                           (DBIND (# . REST)
                               REFS
                             (COND # # # #))))
                       NIL 'NIL (SB-C:SOURCE-LOCATION))
    

ch24_prolog.lisp:120:3:
  error: 
    during macroexpansion of
    (DBIND (# . REST)
        REFS
      ...).
    Use *BREAK-ON-SIGNALS* to intercept:
    
     The function COMMON-LISP-USER::DESTRUC is undefined.

ch24_prolog.lisp:137:3:
  style-warning: 
    The variable IT is defined but never used.
    --> MULTIPLE-VALUE-BIND MULTIPLE-VALUE-CALL FUNCTION IF ACOND2 
    --> MULTIPLE-VALUE-BIND MULTIPLE-VALUE-CALL FUNCTION IF ACOND2 
    --> MULTIPLE-VALUE-BIND MULTIPLE-VALUE-CALL FUNCTION IF ACOND2 
    --> MULTIPLE-VALUE-BIND MULTIPLE-VALUE-CALL FUNCTION IF ACOND2 
    --> MULTIPLE-VALUE-BIND MULTIPLE-VALUE-CALL FUNCTION IF 
    ==>
      (LET ((IT #:G221))
        (VALUES (CONS (CONS Y X) BINDS) T))
    
  style-warning: 
    The variable IT is defined but never used.
    --> MULTIPLE-VALUE-BIND MULTIPLE-VALUE-CALL FUNCTION IF ACOND2 
    --> MULTIPLE-VALUE-BIND MULTIPLE-VALUE-CALL FUNCTION IF ACOND2 
    --> MULTIPLE-VALUE-BIND MULTIPLE-VALUE-CALL FUNCTION IF ACOND2 
    --> MULTIPLE-VALUE-BIND MULTIPLE-VALUE-CALL FUNCTION IF 
    ==>
      (LET ((IT #:G217))
        (VALUES (CONS (CONS X Y) BINDS) T))
    
  style-warning: 
    The variable IT is defined but never used.
    --> MULTIPLE-VALUE-BIND MULTIPLE-VALUE-CALL FUNCTION IF 
    ==>
      (LET ((IT #:G205))
        (VALUES BINDS T))
    
  style-warning: 
    The variable IT is defined but never used.
    --> MULTIPLE-VALUE-BIND MULTIPLE-VALUE-CALL FUNCTION IF ACOND2 
    --> MULTIPLE-VALUE-BIND MULTIPLE-VALUE-CALL FUNCTION IF ACOND2 
    --> MULTIPLE-VALUE-BIND MULTIPLE-VALUE-CALL FUNCTION IF ACOND2 
    --> MULTIPLE-VALUE-BIND MULTIPLE-VALUE-CALL FUNCTION IF ACOND2 
    --> MULTIPLE-VALUE-BIND MULTIPLE-VALUE-CALL FUNCTION IF ACOND2 
    --> MULTIPLE-VALUE-BIND MULTIPLE-VALUE-CALL FUNCTION IF ACOND2 
    --> MULTIPLE-VALUE-BIND MULTIPLE-VALUE-CALL FUNCTION IF 
    ==>
      (LET ((IT #:G229))
        (VALUES NIL NIL))
    

ch24_prolog.lisp:389:1:
  style-warning: 
    using the lexical binding of the symbol (COMMON-LISP-USER::*CONT*), not the
    dynamic binding, even though the name follows
    the usual naming convention (names like *FOO*) for special variables
    --> PROGN DEFUN PROGN EVAL-WHEN 
    ==>
      (SB-IMPL::%DEFUN '=PROVE
                       (SB-INT:NAMED-LAMBDA =PROVE
                           (*CONT* QUERY BINDS PATHS)
                         (BLOCK =PROVE
                           (CHOOSE-BIND R
                               *RULES*
                             (=FUNCALL R QUERY BINDS PATHS))))
                       NIL 'NIL (SB-C:SOURCE-LOCATION))
    

Compilation failed.