First commit of (LISP) ACT-R/Phi code base

README.md

+ACT-RPhi
+========
+
+ACT-R Phi Code Base
+
+This code is licensed under GNU GPL (V3) <br />
+<img src="http://www.gnu.org/graphics/gplv3-127x51.png" />
+
+Code currently being maintained by Chris Dancy, Assistant Professor of Computer Science at Bucknell University, christopher.dancy@bucknell.edu
\ No newline at end of file

commands/p-star-cmd.lib

+#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|)))

commands/procedural-cmds.lib

+#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>|))