...
 
Commits (13)

Too many changes to show.

To preserve performance only 1000 of 1000+ files are displayed.

File mode changed from 100644 to 100755
File mode changed from 100644 to 100755
File mode changed from 100644 to 100755
File mode changed from 100644 to 100755
This source diff could not be displayed because it is too large. You can view the blob instead.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This source diff could not be displayed because it is too large. You can view the blob instead.
This diff is collapsed.
#0Y_ #0Y |CHARSET|::|UTF-8|
(|COMMON-LISP|::|UNLESS|
(|COMMON-LISP|::|MEMBER| "PRODUCTION-PARSING" |COMMON-LISP|::|*MODULES*|
:|TEST| #'|COMMON-LISP|::|STRING=|)
(|COMMON-LISP-USER|::|COMPILE-AND-LOAD|
(|COMMON-LISP|::|TRANSLATE-LOGICAL-PATHNAME|
"ACT-R6:support;production-parsing-support")))
(|SYSTEM|::|REMOVE-OLD-DEFINITIONS| '|COMMON-LISP-USER|::|DEFINE-P*|)
(|SYSTEM|::|%PUTD| '|COMMON-LISP-USER|::|DEFINE-P*|
(|SYSTEM|::|MAKE-MACRO|
(|COMMON-LISP|::|FUNCTION| |COMMON-LISP-USER|::|DEFINE-P*|
(|COMMON-LISP|::|LAMBDA| (|SYSTEM|::|<MACRO-FORM>| |SYSTEM|::|<ENV-ARG>|)
(|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|CONS| |SYSTEM|::|<MACRO-FORM>|))
(|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|IGNORE| |SYSTEM|::|<ENV-ARG>|))
"Production definition."
(|COMMON-LISP|::|LET*|
((|COMMON-LISP-USER|::|DEFINITION|
(|COMMON-LISP|::|CDR| |SYSTEM|::|<MACRO-FORM>|)))
(|COMMON-LISP|::|BLOCK| |COMMON-LISP-USER|::|DEFINE-P*|
`(|COMMON-LISP-USER|::|P*-FCT| ',|COMMON-LISP-USER|::|DEFINITION|)))))
'(|COMMON-LISP|::|&REST| |COMMON-LISP-USER|::|DEFINITION|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|DEFINE-P*-FCT|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|COMMON-LISP-USER|::|DEFINITION|)))
(|SYSTEM|::|REMOVE-OLD-DEFINITIONS| '|COMMON-LISP-USER|::|P*|)
(|SYSTEM|::|%PUTD| '|COMMON-LISP-USER|::|P*|
(|SYSTEM|::|MAKE-MACRO|
(|COMMON-LISP|::|FUNCTION| |COMMON-LISP-USER|::|P*|
(|COMMON-LISP|::|LAMBDA| (|SYSTEM|::|<MACRO-FORM>| |SYSTEM|::|<ENV-ARG>|)
(|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|CONS| |SYSTEM|::|<MACRO-FORM>|))
(|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|IGNORE| |SYSTEM|::|<ENV-ARG>|))
"Production definition."
(|COMMON-LISP|::|LET*|
((|COMMON-LISP-USER|::|DEFINITION|
(|COMMON-LISP|::|CDR| |SYSTEM|::|<MACRO-FORM>|)))
(|COMMON-LISP|::|BLOCK| |COMMON-LISP-USER|::|P*|
`(|COMMON-LISP-USER|::|P*-FCT| ',|COMMON-LISP-USER|::|DEFINITION|)))))
'(|COMMON-LISP|::|&REST| |COMMON-LISP-USER|::|DEFINITION|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|P*-FCT|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|COMMON-LISP-USER|::|DEFINITION|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|DEFINE-VARIABLE-CHUNK-SPEC-FCT|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
'(|COMMON-LISP-USER|::|SPECIFICATIONS-LIST|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|PROCESS-VARIABLE-SLOTS-SPECS|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
'(|COMMON-LISP-USER|::|CHUNK-TYPE| |COMMON-LISP-USER|::|SPECS|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|VALID-VARIABLE-CHUNK-MOD-SPEC|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
'(|COMMON-LISP-USER|::|CHUNK-TYPE|
|COMMON-LISP-USER|::|MODIFICATIONS-LIST|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|EXTEND-BUFFER-CHUNK|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
'(|COMMON-LISP-USER|::|BUFFER-NAME| |COMMON-LISP-USER|::|MOD-LIST|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|EXTENDING-CHUNK-TYPE|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE|
'(|COMMON-LISP-USER|::|CT| |COMMON-LISP-USER|::|SLOT|)))
......@@ -13,7 +13,7 @@
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;
;;; Filename : p-star-cmd.lisp
;;; Version : 1.2
;;; Version : 2.0
;;;
;;; Description : Functions that work with the procedural module to allow
;;; : definition of productions with bound-variable slot names.
......@@ -225,6 +225,17 @@
;;; 2013.06.04 Dan
;;; : * Fixed valid-variable-chunk-mod-spec to allow static chunks
;;; : to modify any of the possible slots for the type given.
;;; 2014.03.19 Dan [2.0]
;;; : * Start of conversion to chunks without types.
;;; : * Remove define-varaible-chunk-spec-fct and associated functions
;;; : because chunk-specs are now allowed to have variable slot names.
;;; 2014.03.20 Dan
;;; : * Don't really do anything here now, and just keep this around
;;; : mostly for the commnets because p and p* are now the same.
;;; 2015.07.28 Dan
;;; : * Changed the logical to ACT-R-support in the require-compiled.
;;; 2018.04.13 Dan
;;; : * No point in keeping the p* commands around anymore...
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;
;;; General Docs:
......@@ -234,8 +245,8 @@
;;;
;;; Public API:
;;;
;;; p* and p*-fct which work like p and p-fct but allow one to use variables
;;; in the place of slot names as long as those variables get bound elsewhere.
;;; p* and p*-fct which work just like p and p-fct since those are allowed to
;;; have variables in slot positions now too.
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;
;;; Design Choices:
......@@ -278,137 +289,6 @@
;;; The code
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
#+:packaged-actr (in-package :act-r)
#+(and :clean-actr (not :packaged-actr) :ALLEGRO-IDE) (in-package :cg-user)
#-(or (not :clean-actr) :packaged-actr :ALLEGRO-IDE) (in-package :cl-user)
(require-compiled "PRODUCTION-PARSING" "ACT-R6:support;production-parsing-support")
#|
General idea is that instead of a 4 pass system like p has:
test all constant slot/values
bind variablized slot values
perform explicit binds
test queries, call evals and test remaining slot specs
it's 5 passes:
check constant slots and constant values
bind variablized slot values in constant slots
bind variablized slot values in variablized slots
perform explicit binds
test queries, call evals and test remaining slot specs
|#
(defmacro define-p* (&rest definition)
"Production definition."
`(p*-fct ',definition))
(defun define-p*-fct (definition)
(p*-fct definition))
(defmacro p* (&rest definition)
"Production definition."
`(p*-fct ',definition))
(defun p*-fct (definition)
(let ((prod (get-module procedural)))
(if (procedural-p prod)
(create-production prod definition t)
(print-warning "No procedural modulue found cannot create production."))))
(defun define-variable-chunk-spec-fct (specifications-list)
"Allows variables in the slot-name position, but the return value isn't
really a valid chunk-spec for purposes of testing chunks"
(verify-current-mp
"define-variable-chunk-spec-fct called with no current meta-process."
(verify-current-model
"define-variable-chunk-spec-fct called with no current model."
(cond ((null specifications-list)
(print-warning "No specification in call to define-chunk-spec."))
((= (length specifications-list) 1)
(if (get-chunk (car specifications-list))
(chunk-name-to-chunk-spec (car specifications-list))
(print-warning
"define-chunk-spec's 1 parameter doesn't name a chunk: ~S"
specifications-list)))
((not (eq (car specifications-list) 'isa))
(print-warning
"First element to define-chunk-spec isn't the symbol ISA. ~s"
specifications-list))
((not (get-chunk-type (second specifications-list)))
(print-warning
"Second element in define-chunk-spec isn't a chunk-type. ~S"
specifications-list))
(t
(let* ((new-spec (make-act-r-chunk-spec :type (second specifications-list)))
(slots (process-variable-slots-specs (second specifications-list) (cddr specifications-list))))
(unless (eq slots :error)
(setf (act-r-chunk-spec-slots new-spec) slots)
new-spec)))))))
(defun process-variable-slots-specs (chunk-type specs)
(let ((slots nil))
(loop
(when (null specs)
(return slots))
(let ((spec (make-act-r-slot-spec)))
(when (find (car specs) '(= - > < >= <=))
(setf (act-r-slot-spec-modifier spec) (pop specs)))
(when (null specs)
(print-warning
"Invalid specs in call to define-chunk-spec - not enough arguments")
(return :error))
(unless (or (chunk-spec-variable-p (car specs)) ;; let this go through...
(possible-chunk-type-slot chunk-type (car specs))
(keywordp (car specs)))
(print-warning "Invalid slot-name ~S in call to define-chunk-spec."
(car specs))
(return :error))
(setf (act-r-slot-spec-name spec) (pop specs))
(when (null specs)
(print-warning
"Invalid specs in call to define-chunk-spec - not enough arguments")
(return :error))
(setf (act-r-slot-spec-value spec) (pop specs))
(push spec slots)))))
(defun valid-variable-chunk-mod-spec (chunk-type-and-slots modifications-list)
(if (oddp (length modifications-list))
(print-warning "Odd length modifications list.")
(if (procedural-check-p*-mods (get-module procedural))
(do ((slots nil (cons (car s) slots))
(s modifications-list (cddr s)))
((null s)
(and (every #'(lambda (slot)
(or (chunk-spec-variable-p slot)
(and (not (chunk-type-static-p-fct (car chunk-type-and-slots))) (valid-chunk-type-slot (car chunk-type-and-slots) slot))
(and (chunk-type-static-p-fct (car chunk-type-and-slots)) (possible-chunk-type-slot (car chunk-type-and-slots) slot))
(find slot (cdr chunk-type-and-slots))))
slots)
(= (length slots) (length (remove-duplicates slots))))))
t)))
#|
This library is free software; you can redistribute it and/or
......
This diff is collapsed.
#0Y_ #0Y |CHARSET|::|UTF-8|
(|SYSTEM|::|C-PROCLAIM|
'(|COMMON-LISP|::|FTYPE|
(|COMMON-LISP|::|FUNCTION| |COMMON-LISP|::|NIL| |COMMON-LISP|::|T|)
|COMMON-LISP-USER|::|MINIMUM-UTILITY|))
(|SYSTEM|::|C-PROCLAIM|
'(|COMMON-LISP|::|FTYPE|
(|COMMON-LISP|::|FUNCTION| (|COMMON-LISP|::|T|) |COMMON-LISP|::|T|)
|COMMON-LISP-USER|::|PRODUCTION-UTILITY|))
(|COMMON-LISP|::|UNLESS|
(|COMMON-LISP|::|MEMBER| "PRODUCTION-PARSING" |COMMON-LISP|::|*MODULES*|
:|TEST| #'|COMMON-LISP|::|STRING=|)
(|COMMON-LISP-USER|::|COMPILE-AND-LOAD|
(|COMMON-LISP|::|TRANSLATE-LOGICAL-PATHNAME|
"ACT-R6:support;production-parsing-support")))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|ALL-PRODUCTIONS|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|REMOVE-OLD-DEFINITIONS| '|COMMON-LISP-USER|::|PP|)
(|SYSTEM|::|%PUTD| '|COMMON-LISP-USER|::|PP|
(|SYSTEM|::|MAKE-MACRO|
(|COMMON-LISP|::|FUNCTION| |COMMON-LISP-USER|::|PP|
(|COMMON-LISP|::|LAMBDA| (|SYSTEM|::|<MACRO-FORM>| |SYSTEM|::|<ENV-ARG>|)
(|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|CONS| |SYSTEM|::|<MACRO-FORM>|))
(|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|IGNORE| |SYSTEM|::|<ENV-ARG>|))
(|COMMON-LISP|::|LET*|
((|COMMON-LISP-USER|::|PRODUCTIONS|
(|COMMON-LISP|::|CDR| |SYSTEM|::|<MACRO-FORM>|)))
(|COMMON-LISP|::|BLOCK| |COMMON-LISP-USER|::|PP|
`(|COMMON-LISP-USER|::|PP-FCT| ',|COMMON-LISP-USER|::|PRODUCTIONS|)))))
'(|COMMON-LISP|::|&REST| |COMMON-LISP-USER|::|PRODUCTIONS|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|PP-FCT|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|COMMON-LISP-USER|::|PRODUCTIONS|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|CLEAR-PRODUCTIONS|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|REMOVE-OLD-DEFINITIONS| '|COMMON-LISP-USER|::|PBREAK|)
(|SYSTEM|::|%PUTD| '|COMMON-LISP-USER|::|PBREAK|
(|SYSTEM|::|MAKE-MACRO|
(|COMMON-LISP|::|FUNCTION| |COMMON-LISP-USER|::|PBREAK|
(|COMMON-LISP|::|LAMBDA| (|SYSTEM|::|<MACRO-FORM>| |SYSTEM|::|<ENV-ARG>|)
(|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|CONS| |SYSTEM|::|<MACRO-FORM>|))
(|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|IGNORE| |SYSTEM|::|<ENV-ARG>|))
(|COMMON-LISP|::|LET*|
((|COMMON-LISP-USER|::|PRODUCTIONS|
(|COMMON-LISP|::|CDR| |SYSTEM|::|<MACRO-FORM>|)))
(|COMMON-LISP|::|BLOCK| |COMMON-LISP-USER|::|PBREAK|
`(|COMMON-LISP-USER|::|PBREAK-FCT|
',|COMMON-LISP-USER|::|PRODUCTIONS|)))))
'(|COMMON-LISP|::|&REST| |COMMON-LISP-USER|::|PRODUCTIONS|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|PBREAK-FCT|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|COMMON-LISP-USER|::|PRODUCTIONS|)))
(|SYSTEM|::|REMOVE-OLD-DEFINITIONS| '|COMMON-LISP-USER|::|PUNBREAK|)
(|SYSTEM|::|%PUTD| '|COMMON-LISP-USER|::|PUNBREAK|
(|SYSTEM|::|MAKE-MACRO|
(|COMMON-LISP|::|FUNCTION| |COMMON-LISP-USER|::|PUNBREAK|
(|COMMON-LISP|::|LAMBDA| (|SYSTEM|::|<MACRO-FORM>| |SYSTEM|::|<ENV-ARG>|)
(|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|CONS| |SYSTEM|::|<MACRO-FORM>|))
(|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|IGNORE| |SYSTEM|::|<ENV-ARG>|))
(|COMMON-LISP|::|LET*|
((|COMMON-LISP-USER|::|PRODUCTIONS|
(|COMMON-LISP|::|CDR| |SYSTEM|::|<MACRO-FORM>|)))
(|COMMON-LISP|::|BLOCK| |COMMON-LISP-USER|::|PUNBREAK|
`(|COMMON-LISP-USER|::|PUNBREAK-FCT|
',|COMMON-LISP-USER|::|PRODUCTIONS|)))))
'(|COMMON-LISP|::|&REST| |COMMON-LISP-USER|::|PRODUCTIONS|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|PUNBREAK-FCT|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|COMMON-LISP-USER|::|PRODUCTIONS|)))
(|SYSTEM|::|REMOVE-OLD-DEFINITIONS| '|COMMON-LISP-USER|::|PDISABLE|)
(|SYSTEM|::|%PUTD| '|COMMON-LISP-USER|::|PDISABLE|
(|SYSTEM|::|MAKE-MACRO|
(|COMMON-LISP|::|FUNCTION| |COMMON-LISP-USER|::|PDISABLE|
(|COMMON-LISP|::|LAMBDA| (|SYSTEM|::|<MACRO-FORM>| |SYSTEM|::|<ENV-ARG>|)
(|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|CONS| |SYSTEM|::|<MACRO-FORM>|))
(|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|IGNORE| |SYSTEM|::|<ENV-ARG>|))
(|COMMON-LISP|::|LET*|
((|COMMON-LISP-USER|::|PRODUCTIONS|
(|COMMON-LISP|::|CDR| |SYSTEM|::|<MACRO-FORM>|)))
(|COMMON-LISP|::|BLOCK| |COMMON-LISP-USER|::|PDISABLE|
`(|COMMON-LISP-USER|::|PDISABLE-FCT|
',|COMMON-LISP-USER|::|PRODUCTIONS|)))))
'(|COMMON-LISP|::|&REST| |COMMON-LISP-USER|::|PRODUCTIONS|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|PDISABLE-FCT|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|COMMON-LISP-USER|::|PRODUCTIONS|)))
(|SYSTEM|::|REMOVE-OLD-DEFINITIONS| '|COMMON-LISP-USER|::|PENABLE|)
(|SYSTEM|::|%PUTD| '|COMMON-LISP-USER|::|PENABLE|
(|SYSTEM|::|MAKE-MACRO|
(|COMMON-LISP|::|FUNCTION| |COMMON-LISP-USER|::|PENABLE|
(|COMMON-LISP|::|LAMBDA| (|SYSTEM|::|<MACRO-FORM>| |SYSTEM|::|<ENV-ARG>|)
(|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|CONS| |SYSTEM|::|<MACRO-FORM>|))
(|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|IGNORE| |SYSTEM|::|<ENV-ARG>|))
(|COMMON-LISP|::|LET*|
((|COMMON-LISP-USER|::|PRODUCTIONS|
(|COMMON-LISP|::|CDR| |SYSTEM|::|<MACRO-FORM>|)))
(|COMMON-LISP|::|BLOCK| |COMMON-LISP-USER|::|PENABLE|
`(|COMMON-LISP-USER|::|PENABLE-FCT|
',|COMMON-LISP-USER|::|PRODUCTIONS|)))))
'(|COMMON-LISP|::|&REST| |COMMON-LISP-USER|::|PRODUCTIONS|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|PENABLE-FCT|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|COMMON-LISP-USER|::|PRODUCTIONS|)))
(|SYSTEM|::|REMOVE-OLD-DEFINITIONS| '|COMMON-LISP-USER|::|WHYNOT|)
(|SYSTEM|::|%PUTD| '|COMMON-LISP-USER|::|WHYNOT|
(|SYSTEM|::|MAKE-MACRO|
(|COMMON-LISP|::|FUNCTION| |COMMON-LISP-USER|::|WHYNOT|
(|COMMON-LISP|::|LAMBDA| (|SYSTEM|::|<MACRO-FORM>| |SYSTEM|::|<ENV-ARG>|)
(|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|CONS| |SYSTEM|::|<MACRO-FORM>|))
(|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|IGNORE| |SYSTEM|::|<ENV-ARG>|))
(|COMMON-LISP|::|LET*|
((|COMMON-LISP-USER|::|PRODUCTIONS|
(|COMMON-LISP|::|CDR| |SYSTEM|::|<MACRO-FORM>|)))
(|COMMON-LISP|::|BLOCK| |COMMON-LISP-USER|::|WHYNOT|
`(|COMMON-LISP-USER|::|WHYNOT-FCT|
',|COMMON-LISP-USER|::|PRODUCTIONS|)))))
'(|COMMON-LISP|::|&REST| |COMMON-LISP-USER|::|PRODUCTIONS|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|WHYNOT-FCT|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|COMMON-LISP-USER|::|PRODUCTIONS|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|PRODUCTION-FAILURE-REASON|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|COMMON-LISP-USER|::|P-NAME|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|PMATCHES|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '|COMMON-LISP|::|NIL|))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|PMATCHES-INTERNAL|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|COMMON-LISP-USER|::|PROCEDURAL|)))
(|SYSTEM|::|REMOVE-OLD-DEFINITIONS| '|COMMON-LISP-USER|::|DEFINE-P|)
(|SYSTEM|::|%PUTD| '|COMMON-LISP-USER|::|DEFINE-P|
(|SYSTEM|::|MAKE-MACRO|
(|COMMON-LISP|::|FUNCTION| |COMMON-LISP-USER|::|DEFINE-P|
(|COMMON-LISP|::|LAMBDA| (|SYSTEM|::|<MACRO-FORM>| |SYSTEM|::|<ENV-ARG>|)
(|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|CONS| |SYSTEM|::|<MACRO-FORM>|))
(|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|IGNORE| |SYSTEM|::|<ENV-ARG>|))
"Production definition."
(|COMMON-LISP|::|LET*|
((|COMMON-LISP-USER|::|DEFINITION|
(|COMMON-LISP|::|CDR| |SYSTEM|::|<MACRO-FORM>|)))
(|COMMON-LISP|::|BLOCK| |COMMON-LISP-USER|::|DEFINE-P|
`(|COMMON-LISP-USER|::|P-FCT| ',|COMMON-LISP-USER|::|DEFINITION|)))))
'(|COMMON-LISP|::|&REST| |COMMON-LISP-USER|::|DEFINITION|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|DEFINE-P-FCT|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|COMMON-LISP-USER|::|DEFINITION|)))
(|SYSTEM|::|REMOVE-OLD-DEFINITIONS| '|COMMON-LISP-USER|::|P|)
(|SYSTEM|::|%PUTD| '|COMMON-LISP-USER|::|P|
(|SYSTEM|::|MAKE-MACRO|
(|COMMON-LISP|::|FUNCTION| |COMMON-LISP-USER|::|P|
(|COMMON-LISP|::|LAMBDA| (|SYSTEM|::|<MACRO-FORM>| |SYSTEM|::|<ENV-ARG>|)
(|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|CONS| |SYSTEM|::|<MACRO-FORM>|))
(|COMMON-LISP|::|DECLARE| (|COMMON-LISP|::|IGNORE| |SYSTEM|::|<ENV-ARG>|))
"Production definition."
(|COMMON-LISP|::|LET*|
((|COMMON-LISP-USER|::|DEFINITION|
(|COMMON-LISP|::|CDR| |SYSTEM|::|<MACRO-FORM>|)))
(|COMMON-LISP|::|BLOCK| |COMMON-LISP-USER|::|P|
`(|COMMON-LISP-USER|::|P-FCT| ',|COMMON-LISP-USER|::|DEFINITION|)))))
'(|COMMON-LISP|::|&REST| |COMMON-LISP-USER|::|DEFINITION|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|P-FCT|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|COMMON-LISP-USER|::|DEFINITION|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|DELETE-PRODUCTION|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|COMMON-LISP-USER|::|PROD-NAME|)))
(|SYSTEM|::|C-DEFUN| '|COMMON-LISP-USER|::|PRODUCTION-FIRING-ONLY|
(|SYSTEM|::|LAMBDA-LIST-TO-SIGNATURE| '(|COMMON-LISP-USER|::|EVENT|)))
This diff is collapsed.
This source diff could not be displayed because it is too large. You can view the blob instead.
This diff is collapsed.
This diff is collapsed.
(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|1 78 (SETF *FILE-LIST* '("declarative-memory" "goal" "procedural" ...))-1|
#15Y(00 00 00 00 00 00 00 00 20 01 C5 0F 01 19 01)
(("declarative-memory" "goal" "procedural" "vision" "motor" "audio" "speech"
"imaginal")
|COMMON-LISP-USER|::|*FILE-LIST*|)
(|COMMON-LISP|::|NIL| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#0Y_ #0Y |CHARSET|::|UTF-8|
File mode changed from 100644 to 100755
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.