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
Last revisionBoth sides next revision
tutorials:intermediate:performing_plans [2022/03/30 21:18] – [Basic functionality] schimpftutorials:intermediate:performing_plans [2022/03/30 21:26] – [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
 EAT EAT
 CL-USER> (prolog:def-fact-group eating-occasions () CL-USER> (prolog:def-fact-group eating-occasions ()