Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
tutorials:intermediate:performing_plans [2022/03/30 21:18] – [Basic functionality] schimpftutorials:intermediate:performing_plans [2022/03/30 21:26] (current) – [Plan goals] schimpf
Line 37: Line 37:
            (exe:perform (desig:an action (to eat) (yummy pizza))))            (exe:perform (desig:an action (to eat) (yummy pizza))))
 hmmm... nomnomnom... PIZZA hmmm... nomnomnom... PIZZA
 +NIL
 +#<A ACTION
 +    (TO EAT)
 +    (YUMMY PIZZA)>
 </code> </code>
  
Line 63: Line 67:
 CL-USER> (defparameter *pizza-eaten-p* nil) CL-USER> (defparameter *pizza-eaten-p* nil)
 *PIZZA-EATEN-P* *PIZZA-EATEN-P*
-CL-USER> (cpl:def-cram-function eat (stuff+CL-USER> (cpl:def-cram-function eat (&key ((:yummy ?yummy)) &allow-other-keys) 
-           (format t "hmmm... nomnomnom... ~a~%" stuff)+           (declare (type (or string null) ?yummy)
 +           (format t "hmmm... nomnomnom... ~a~%" ?yummy)
            (setf *pizza-eaten-p* t))            (setf *pizza-eaten-p* t))
-STYLE-WARNING: redefining COMMON-LISP-USER::EAT in DEFUN+; in: CRAM-LANGUAGE-IMPLEMENTATION:DEF-CRAM-FUNCTION EAT 
 +;     (TYPE (OR STRING NULL) ?YUMMY) 
 +;  
 +; caught WARNING: 
 +;   undefined variable: COMMON-LISP-USER::?YUMMY 
 +;  
 +; compilation unit finished 
 +;   Undefined variable: 
 +;     ?YUMMY 
 +;   caught 1 WARNING condition 
 +WARNING: redefining COMMON-LISP-USER::EAT in DEFUN
 EAT EAT
 CL-USER> (prolog:def-fact-group eating-occasions () CL-USER> (prolog:def-fact-group eating-occasions ()