From mantoniotti at common-lisp.net Sun Dec 2 18:23:39 2012 From: mantoniotti at common-lisp.net (CVS User mantoniotti) Date: Sun, 02 Dec 2012 10:23:39 -0800 Subject: [cl-unification-cvs] CVS cl-unification Message-ID: Update of /project/cl-unification/cvsroot/cl-unification In directory tiger.common-lisp.net:/tmp/cvs-serv1475 Modified Files: ChangeLog Log Message: ChangeLog updated. --- /project/cl-unification/cvsroot/cl-unification/ChangeLog 2011/03/28 17:10:36 1.14 +++ /project/cl-unification/cvsroot/cl-unification/ChangeLog 2012/12/02 18:23:39 1.15 @@ -1,8 +1,60 @@ +2012-01-16 author + + * TIMESTAMP: Added TIMESTAMP. + + * docs/html/index.html: Copyright updated. + +2012-01-09 author + + * COPYING: Copyright updated. + +2011-06-15 author + + * unification-package.lisp: + Added "CL-UNIFICATION" as package nickname to match the .asd and .system specs. + +2011-06-15 author + + * unification-package.lisp: + Added "CL-UNIFICATION" as package nickname to match the .asd and .system specs. + +2011-03-28 author + + * ChangeLog, match-block.lisp: + match-block.lisp: Use &body in match-case and matchf-case so + code that uses them is correctly indented by editors. + 2011-03-28 Robert Brown * match-block.lisp: Use &body in match-case and matchf-case so code that uses them is correctly indented by editors. +2011-03-06 author + + * docs/html/unification-dictionary.html, docs/html/dictionary.html, docs/html/control-flow.html, docs/html/templates.html, docs/html/unifying-substitutions.html, docs/html/downloads.html, docs/html/links.html, docs/html/mailing-lists.html: + Copyright updated. + + * docs/html/index.html: Updated copyright info and a News. + +2011-03-02 author + + * substitutions.lisp: Fixed typo. Double definition of PUSH-FRAME. + + Marco + +2011-02-27 author + + * test/.cvsignore, lib-dependent/.cvsignore, docs/html/images/.cvsignore, docs/html/.cvsignore, docs/.cvsignore: + File added. + + * ChangeLog: ChangeLog updated. + + * .cvsignore: Updated. + + * docs/html/images/Thumbs.db, docs/html/images/Thumbs.db:encryptable: + Removed Files: + Thumbs.db Thumbs.db:encryptable + 2011-02-27 author * .cvsignore: Updated. From mantoniotti at common-lisp.net Mon Dec 3 15:39:10 2012 From: mantoniotti at common-lisp.net (CVS User mantoniotti) Date: Mon, 03 Dec 2012 07:39:10 -0800 Subject: [cl-unification-cvs] CVS cl-unification Message-ID: Update of /project/cl-unification/cvsroot/cl-unification In directory tiger.common-lisp.net:/tmp/cvs-serv2056 Modified Files: match-block.lisp Log Message: Fixed doc strings in MATCH-CASE and MATCHF-CASE. --- /project/cl-unification/cvsroot/cl-unification/match-block.lisp 2011/03/28 17:10:36 1.13 +++ /project/cl-unification/cvsroot/cl-unification/match-block.lisp 2012/12/03 15:39:10 1.14 @@ -263,7 +263,7 @@ The full syntax of MATCH-CASE is - match-case (&key errorp default-substitution) + match-case ( &key errorp default-substitution) Each clause evaluates its forms in an environment where the variables present in the template are bound lexically. Note that both variable @@ -321,7 +321,7 @@ The full syntax of MATCHF-CASE is - matchf-case (&key errorp default-substitution) + matchf-case ( &key errorp default-substitution) Each clause evaluates its forms in an environment where the variables present in the template are bound lexically. Note that both variable From mantoniotti at common-lisp.net Mon Dec 3 15:40:48 2012 From: mantoniotti at common-lisp.net (CVS User mantoniotti) Date: Mon, 03 Dec 2012 07:40:48 -0800 Subject: [cl-unification-cvs] CVS cl-unification Message-ID: Update of /project/cl-unification/cvsroot/cl-unification In directory tiger.common-lisp.net:/tmp/cvs-serv2298 Modified Files: ChangeLog Log Message: ChangeLog updated. --- /project/cl-unification/cvsroot/cl-unification/ChangeLog 2012/12/02 18:23:39 1.15 +++ /project/cl-unification/cvsroot/cl-unification/ChangeLog 2012/12/03 15:40:48 1.16 @@ -1,3 +1,17 @@ +2012-12-03 author + + * match-block.lisp: Fixed doc strings in MATCH-CASE and MATCHF-CASE. + +2012-12-02 author + + * ChangeLog: ChangeLog updated. + +2012-01-16 author + + * TIMESTAMP: Added TIMESTAMP. + + * docs/html/index.html: Copyright updated. + 2012-01-16 author * TIMESTAMP: Added TIMESTAMP. From mantoniotti at common-lisp.net Sat Dec 29 23:23:47 2012 From: mantoniotti at common-lisp.net (CVS User mantoniotti) Date: Sat, 29 Dec 2012 15:23:47 -0800 Subject: [cl-unification-cvs] CVS cl-unification/docs/html Message-ID: Update of /project/cl-unification/cvsroot/cl-unification/docs/html In directory tiger.common-lisp.net:/tmp/cvs-serv14742 Added Files: regular-expression-template-class.html Log Message: Added documentation for REGULAR-EXPRESSION-TEMPLATE. --- /project/cl-unification/cvsroot/cl-unification/docs/html/regular-expression-template-class.html 2012/12/29 23:23:47 NONE +++ /project/cl-unification/cvsroot/cl-unification/docs/html/regular-expression-template-class.html 2012/12/29 23:23:47 1.1 CL Unification: Class REGULAR-EXPRESSION-TEMPLATE
CL Unification: Class REGULAR-EXPRESSION-TEMPLATE
 

Class REGULAR-EXPRESSION-TEMPLATE

Package:

COMMON-LISP.EXTENSIONS.DATA-AND-CONTROL-FLOW.UNIFICATION

Class Precedence List:

REGULAR-EXPRESSION-TEMPLATE, STRING-TEMPLATE, VECTOR-TEMPLATE, SEQUENCE-TEMPLATE, ARRAY-TEMPLATE, TYPE-TEMPLATE, TEMPLATE, STANDARD-OBJECT, T.

Known Subclasses:

None.

Slots:

None documented.

Description:

The REGULAR-EXPRESSION-TEMPLATE class denotes regular expressions (the CL-PPCRE regular expressions) that are used to unify against a STRING.

Template Syntax:

The spec syntax for a REGULAR-EXPRESSION-TEMPLATE is the following:

  #T(regular-expression REGEXP &optional unification-vars &rest keys)
  #T(regexp REGEXP &optional unification-vars &rest keys)
    
where
  REGEXP           ::= <a CL-PPCRE regexp string or tree>
  unification-vars ::= '(' variable* ')'
  keys             ::= <CL-PPCRE (constant) keys to be passed to CL-PPCRE:CREATE-SCANNER>
    

regular-expression and regexp are interchangeable. The unification-vars, if present, are unified (i.e., associated) with each group returned by the scanner created by CL-PPCRE:CREATE-SCANNER. The scanner is called by the appropriate UNIFY method.

Examples:

  cl-prompt> (unify "abcbca" #T(regexp "a(bc)*a"))
  #<ENVIRONMENT xxx>
  
  cl-prompt> (unify #T(regexp "a(cb)*a" (?foo)) "acbcba")
  #<ENVIRONMENT xyz>

  cl-prompt> (find-variable-value '?foo *)
  "cb"
  T
  

Affected By:

None.

Exceptional Situations:

Unifying an REGULAR-EXPRESSION-TEMPLATE against a non-STRING object results in an UNIFICATION-FAILURE error being signaled.

See Also:

UNIFY

Notes:

The underlying implementation uses CL-PPCRE. If CL-PPCRE is not available in the system, CL-UNIFICATION will not have REGULAR-EXPRESSION-TEMPLATE working.

 
 
From mantoniotti at common-lisp.net Sat Dec 29 23:54:21 2012 From: mantoniotti at common-lisp.net (CVS User mantoniotti) Date: Sat, 29 Dec 2012 15:54:21 -0800 Subject: [cl-unification-cvs] CVS cl-unification/docs/html Message-ID: Update of /project/cl-unification/cvsroot/cl-unification/docs/html In directory tiger.common-lisp.net:/tmp/cvs-serv23922/docs/html Added Files: regular-expression-template.html Log Message: File added. --- /project/cl-unification/cvsroot/cl-unification/docs/html/regular-expression-template.html 2012/12/29 23:54:21 NONE +++ /project/cl-unification/cvsroot/cl-unification/docs/html/regular-expression-template.html 2012/12/29 23:54:21 1.1 CL Unification: Class REGULAR-EXPRESSION-TEMPLATE
CL Unification: Class REGULAR-EXPRESSION-TEMPLATE
 

Class REGULAR-EXPRESSION-TEMPLATE

Package:

COMMON-LISP.EXTENSIONS.DATA-AND-CONTROL-FLOW.UNIFICATION

Class Precedence List:

REGULAR-EXPRESSION-TEMPLATE, STRING-TEMPLATE, VECTOR-TEMPLATE, SEQUENCE-TEMPLATE, ARRAY-TEMPLATE, TYPE-TEMPLATE, TEMPLATE, STANDARD-OBJECT, T.

Known Subclasses:

None.

Slots:

None documented.

Description:

The REGULAR-EXPRESSION-TEMPLATE class denotes regular expressions (the CL-PPCRE regular expressions) that are used to unify against a STRING.

Template Syntax:

The spec syntax for a REGULAR-EXPRESSION-TEMPLATE is the following:

  #T(regular-expression REGEXP &optional unification-vars &rest keys)
  #T(regexp REGEXP &optional unification-vars &rest keys)
    
where
  REGEXP           ::= <a CL-PPCRE regexp string or tree>
  unification-vars ::= '(' variable* ')'
  keys             ::= <CL-PPCRE (constant) keys to be passed to CL-PPCRE:CREATE-SCANNER>
    

regular-expression and regexp are interchangeable. The unification-vars, if present, are unified (i.e., associated) with each group returned by the scanner created by CL-PPCRE:CREATE-SCANNER. The scanner is called by the appropriate UNIFY method.

Examples:

  cl-prompt> (unify "abcbca" #T(regexp "a(bc)*a"))
  #<ENVIRONMENT xxx>
  
  cl-prompt> (unify #T(regexp "a(cb)*a" (?foo)) "acbcba")
  #<ENVIRONMENT xyz>

  cl-prompt> (find-variable-value '?foo *)
  "cb"
  T
  

Affected By:

None.

Exceptional Situations:

Unifying an REGULAR-EXPRESSION-TEMPLATE against a non-STRING object results in an UNIFICATION-FAILURE error being signaled.

See Also:

UNIFY

Notes:

The underlying implementation uses CL-PPCRE.

 
 
From mantoniotti at common-lisp.net Sat Dec 29 23:54:47 2012 From: mantoniotti at common-lisp.net (CVS User mantoniotti) Date: Sat, 29 Dec 2012 15:54:47 -0800 Subject: [cl-unification-cvs] CVS cl-unification Message-ID: Update of /project/cl-unification/cvsroot/cl-unification In directory tiger.common-lisp.net:/tmp/cvs-serv23989 Modified Files: COPYING Log Message: Copyright updated. --- /project/cl-unification/cvsroot/cl-unification/COPYING 2012/01/09 12:54:33 1.7 +++ /project/cl-unification/cvsroot/cl-unification/COPYING 2012/12/29 23:54:47 1.8 @@ -1,4 +1,4 @@ -Copyright (c) 2004-2012 Marco Antoniotti +Copyright (c) 2004-2013 Marco Antoniotti All rights reserved. Permission is hereby granted, without written agreement and without @@ -18,4 +18,3 @@ PURPOSE. THE SOFTWARE PROVIDED HEREUNDER IS ON AN "AS IS" BASIS, AND THE AUTHOR(S) HAVE NO OBLIGATION TO PROVIDE MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR MODIFICATIONS. - From mantoniotti at common-lisp.net Sat Dec 29 23:55:28 2012 From: mantoniotti at common-lisp.net (CVS User mantoniotti) Date: Sat, 29 Dec 2012 15:55:28 -0800 Subject: [cl-unification-cvs] CVS cl-unification Message-ID: Update of /project/cl-unification/cvsroot/cl-unification In directory tiger.common-lisp.net:/tmp/cvs-serv24104 Modified Files: TIMESTAMP Log Message: Timestamp updated. --- /project/cl-unification/cvsroot/cl-unification/TIMESTAMP 2012/01/16 15:46:32 1.1 +++ /project/cl-unification/cvsroot/cl-unification/TIMESTAMP 2012/12/29 23:55:28 1.2 @@ -1 +1 @@ -20120116 +20121229 From mantoniotti at common-lisp.net Sun Dec 30 00:00:47 2012 From: mantoniotti at common-lisp.net (CVS User mantoniotti) Date: Sat, 29 Dec 2012 16:00:47 -0800 Subject: [cl-unification-cvs] CVS cl-unification Message-ID: Update of /project/cl-unification/cvsroot/cl-unification In directory tiger.common-lisp.net:/tmp/cvs-serv26948 Modified Files: unification-package.lisp Log Message: Exported a few mor symbols (which should have been exported already). --- /project/cl-unification/cvsroot/cl-unification/unification-package.lisp 2011/06/15 12:03:50 1.10 +++ /project/cl-unification/cvsroot/cl-unification/unification-package.lisp 2012/12/30 00:00:47 1.11 @@ -66,14 +66,47 @@ (:export "MAKE-TEMPLATE" - "TEMPLATEP" + "TEMPLATE" + "TEMPLATE-P" "TEMPLATE-SPEC" "COLLECT-TEMPLATE-VARS" ) + (:export + "EXPRESSION-TEMPLATE" + "ELEMENT-TEMPLATE" + "AREF-TEMPLATE" + "ELT-TEMPLATE" + "NTH-TEMPLATE" + "NTHCDR-TEMPLATE" + "TYPE-TEMPLATE" + "ARRAY-TEMPLATE" + "NIL-TEMPLATE" + "NUMBER-TEMPLATE" + "SYMBOL-TEMPLATE" + "STANDARD-OBJECT-TEMPLATE" + "STRUCTURE-OBJECT-TEMPLATE" + + "EXPRESSION-TEMPLATE-P" + "ELEMENT-TEMPLATE-P" + "AREF-TEMPLATE-P" + "ELT-TEMPLATE-P" + "NTH-TEMPLATE-P" + "NTHCDR-TEMPLATE-P" + "TYPE-TEMPLATE-P" + "ARRAY-TEMPLATE-P" + "NIL-TEMPLATE-P" + "NUMBER-TEMPLATE-P" + "SYMBOL-TEMPLATE-P" + "STANDARD-OBJECT-TEMPLATE-P" + "STRUCTURE-OBJECT-TEMPLATE-P" + ) + #+cl-ppcre (:export + "REGULAR-EXPRESSION-TEMPLATE" + "REGULAR-EXPRESSION-TEMPLATE-P" "REGULAR-EXPRESSION" "REGEXP") ) From mantoniotti at common-lisp.net Sun Dec 30 00:01:29 2012 From: mantoniotti at common-lisp.net (CVS User mantoniotti) Date: Sat, 29 Dec 2012 16:01:29 -0800 Subject: [cl-unification-cvs] CVS cl-unification Message-ID: Update of /project/cl-unification/cvsroot/cl-unification In directory tiger.common-lisp.net:/tmp/cvs-serv27048 Modified Files: ChangeLog Log Message: ChangeLog updated. --- /project/cl-unification/cvsroot/cl-unification/ChangeLog 2012/12/03 15:40:48 1.16 +++ /project/cl-unification/cvsroot/cl-unification/ChangeLog 2012/12/30 00:01:29 1.17 @@ -1,3 +1,27 @@ +2012-12-30 author + + * unification-package.lisp: + Exported a few mor symbols (which should have been exported already). + + * TIMESTAMP: Timestamp updated. + + * COPYING: Copyright updated. + + * docs/html/regular-expression-template.html: File added. + + * docs/html/aref-template-class.html, docs/html/array-template-class.html, docs/html/control-flow.html, docs/html/downloads.html, docs/html/element-template-class.html, docs/html/elt-template-class.html, docs/html/expression-template-class.html, docs/html/find-variable-value-function.html, docs/html/hash-t-read-macro.html, docs/html/index.html, docs/html/links.html, docs/html/mailing-lists.html, docs/html/make-empty-environment-function.html, docs/html/make-shared-environment-function.html, docs/html/match-case-macro.html, docs/html/match-macro.html, docs/html/matching-macro.html, docs/html/nil-template-class.html, docs/html/nth-template-class.html, docs/html/nthcdr-template-class.html, docs/html/number-template-class.html, docs/html/standard-object-template-class.html, docs/html/structure-object-template-class.html, docs/html/symbol-template-class.html, docs/html/template-class.html, docs/html/template-p-function.html, docs/html/template-spec-accessor.html, docs/html/templates.html, docs/html/type-template-class.html, docs/html/unification-dictionary.html, docs/html/unify-function.html, docs/html/unify-package.html, docs/html/unifying-substitutions.html, docs/html/usci-variable.html: + Copyright updated, Cleaned the documentation, fixed a few typos and, + above all, fixed (most) navigation links. + + * docs/html/regular-expression-template-class.html: + Added documentation for REGULAR-EXPRESSION-TEMPLATE. + +2012-12-03 author + + * ChangeLog: ChangeLog updated. + + * match-block.lisp: Fixed doc strings in MATCH-CASE and MATCHF-CASE. + 2012-12-03 author * match-block.lisp: Fixed doc strings in MATCH-CASE and MATCHF-CASE. From mantoniotti at common-lisp.net Sun Dec 30 00:02:58 2012 From: mantoniotti at common-lisp.net (CVS User mantoniotti) Date: Sat, 29 Dec 2012 16:02:58 -0800 Subject: [cl-unification-cvs] CVS cl-unification Message-ID: Update of /project/cl-unification/cvsroot/cl-unification In directory tiger.common-lisp.net:/tmp/cvs-serv27361 Modified Files: README Log Message: Copyright updated. --- /project/cl-unification/cvsroot/cl-unification/README 2011/01/18 14:55:22 1.5 +++ /project/cl-unification/cvsroot/cl-unification/README 2012/12/30 00:02:58 1.6 @@ -1,6 +1,6 @@ CL-UNIFICATION -Marco Antoniotti (c) 2004-2011 +Marco Antoniotti (c) 2004-2013 The directory containing this file you are reading should contain the code and the documentation of the CL-UNIFICATION package. From mantoniotti at common-lisp.net Sun Dec 30 00:03:34 2012 From: mantoniotti at common-lisp.net (CVS User mantoniotti) Date: Sat, 29 Dec 2012 16:03:34 -0800 Subject: [cl-unification-cvs] CVS cl-unification Message-ID: Update of /project/cl-unification/cvsroot/cl-unification In directory tiger.common-lisp.net:/tmp/cvs-serv27526 Modified Files: TIMESTAMP Log Message: Timestamp updated. --- /project/cl-unification/cvsroot/cl-unification/TIMESTAMP 2012/12/29 23:55:28 1.2 +++ /project/cl-unification/cvsroot/cl-unification/TIMESTAMP 2012/12/30 00:03:34 1.3 @@ -1 +1 @@ -20121229 +20121230 From mantoniotti at common-lisp.net Sun Dec 30 00:07:09 2012 From: mantoniotti at common-lisp.net (CVS User mantoniotti) Date: Sat, 29 Dec 2012 16:07:09 -0800 Subject: [cl-unification-cvs] CVS cl-unification/docs/html Message-ID: Update of /project/cl-unification/cvsroot/cl-unification/docs/html In directory tiger.common-lisp.net:/tmp/cvs-serv28590 Modified Files: type-template-class.html Log Message: Fixed a few typos and cleaned up. --- /project/cl-unification/cvsroot/cl-unification/docs/html/type-template-class.html 2012/12/29 23:25:22 1.2 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/type-template-class.html 2012/12/30 00:07:09 1.3 @@ -95,7 +95,7 @@
-

News

+
@@ -121,7 +121,7 @@ From mantoniotti at common-lisp.net Sat Dec 29 23:25:22 2012 From: mantoniotti at common-lisp.net (CVS User mantoniotti) Date: Sat, 29 Dec 2012 15:25:22 -0800 Subject: [cl-unification-cvs] CVS cl-unification/docs/html Message-ID: Update of /project/cl-unification/cvsroot/cl-unification/docs/html In directory tiger.common-lisp.net:/tmp/cvs-serv14907 Modified Files: aref-template-class.html array-template-class.html control-flow.html downloads.html element-template-class.html elt-template-class.html expression-template-class.html find-variable-value-function.html hash-t-read-macro.html index.html links.html mailing-lists.html make-empty-environment-function.html make-shared-environment-function.html match-case-macro.html match-macro.html matching-macro.html nil-template-class.html nth-template-class.html nthcdr-template-class.html number-template-class.html standard-object-template-class.html structure-object-template-class.html symbol-template-class.html template-class.html template-p-function.html template-spec-accessor.html templates.html type-template-class.html unification-dictionary.html unify-function.html unify-package.html unifying-substitutions.html usci-variable.html Log Message: Copyright updated, Cleaned the documentation, fixed a few typos and, above all, fixed (most) navigation links. --- /project/cl-unification/cvsroot/cl-unification/docs/html/aref-template-class.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/aref-template-class.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ CL Unification: Class AREF-TEMPLATE @@ -168,6 +169,7 @@
+
@@ -194,7 +196,7 @@ --- /project/cl-unification/cvsroot/cl-unification/docs/html/array-template-class.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/array-template-class.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ CL Unification: Class ARRAY-TEMPLATE @@ -189,6 +190,7 @@
+
@@ -215,7 +217,7 @@ --- /project/cl-unification/cvsroot/cl-unification/docs/html/control-flow.html 2011/03/06 15:09:51 1.3 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/control-flow.html 2012/12/29 23:25:22 1.4 @@ -25,37 +25,41 @@ -   - - -
-
- -

Control Flow

+   + -

In order to make the use of the UNIFICATION library easier, a few - utility macros are provided. The macros MATCH, MATCHING, and - MATCH-CASE can be used to unify two (or more) objects and then to - build a lexical environment where the variables present in the to - objects (or templates) are bound to the values resulting from the - application of UNIFY.

+
+
-

-

    -
  • MATCH is a "single shot" macro. It does one unification and - executes forms in an appropriate lexical environment.
  • +

    Control Flow

    -
  • MATCH-CASE is equivalent to CASE. It tries to match a single - object (or template) against a set of clauses. The forms associated - to the first clause for which there is a successful unification, are - then executed within an appropriate lexical environment. - -
  • MATCHING is equivalent to COND. Each clause contains a - head -

    +

    In order to make the use of the UNIFICATION library easier, a few + utility macros are provided. The macros MATCH, MATCHING, and + MATCH-CASE can be used to unify two (or more) objects and then to + build a lexical environment where the variables present in the to + objects (or templates) are bound to the values resulting from the + application of UNIFY.

    + +

    +

      +
    • MATCH is a "single shot" macro. It does one unification and + executes forms in an appropriate lexical environment.
    • + +
    • MATCH-CASE is equivalent to CASE. It tries to match a single + object (or template) against a set of clauses. The forms associated + to the first clause for which there is a successful unification, are + then executed within an appropriate lexical environment.
    • + +
    • MATCHING is equivalent to COND. Each clause contains a + head consisting of two objects to be unified. The first + clause whose head unifies sucessfully has its associated forms + executed within an appropriate lexical environment.
    • +
    +

    + +

    There are also the macro MATCHF and MATCHF-CASE, which do not + evaluate the pattern; they can be used to produce more streamlined + code.

    Examples

    @@ -143,9 +147,10 @@

    Control Flow Dictionary

    @@ -173,7 +178,7 @@ +
@@ -234,7 +240,7 @@ --- /project/cl-unification/cvsroot/cl-unification/docs/html/downloads.html 2011/03/06 15:07:02 1.4 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/downloads.html 2012/12/29 23:25:22 1.5 @@ -70,7 +70,7 @@ ;;; will not be held liable etc etc etc etc etc. --> -

Site Map

+

Enjoy!

@@ -79,7 +79,7 @@

Questions? Queries? Suggestions? Comments? Please direct them - at me. + at me.

@@ -124,7 +124,7 @@ --- /project/cl-unification/cvsroot/cl-unification/docs/html/element-template-class.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/element-template-class.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ CL Unification: Class ELEMENT-TEMPLATE @@ -93,7 +94,7 @@
- +
@@ -120,7 +121,7 @@ --- /project/cl-unification/cvsroot/cl-unification/docs/html/elt-template-class.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/elt-template-class.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ CL Unification: Class ELT-TEMPLATE @@ -138,6 +139,7 @@
+
@@ -164,7 +166,7 @@ --- /project/cl-unification/cvsroot/cl-unification/docs/html/expression-template-class.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/expression-template-class.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ CL Unification: Class EXPRESSION-TEMPLATE @@ -93,7 +94,7 @@
-

News

+
@@ -119,7 +120,7 @@ --- /project/cl-unification/cvsroot/cl-unification/docs/html/find-variable-value-function.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/find-variable-value-function.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ CL Unification: Function FIND-VARIABLE-VALUE @@ -49,12 +50,20 @@

+

+

+  v? variable-name env &optional plain-symbol-p
+  => value, found
+  
+

+

Arguments and Values:

-

variable-name---a symbol denoting a unification variable

-

env---an unification-environment

-

value---an object

-

found---a boolean

+

variable-name : a symbol denoting a unification variable

+

plain-symbol-p : a boolean

+

env : a unification-environment

+

value : an object

+

found : a boolean

@@ -74,7 +83,11 @@ default.) If errorp is NIL then FIND-VARIABLE-NAME returns the values NIL and NIL.

-

env defaults to *NULL-ENVIRONMENT*. +

env defaults to *NULL-ENVIRONMENT*.

+ +

The V? function is a utility to be used for debugging purposes at + the listener. The optional argument plain-symbol-p can be + used to avoid using the '?' syntax for variables.

Affected By:

@@ -108,7 +121,7 @@
-

News

+
@@ -134,7 +147,7 @@ --- /project/cl-unification/cvsroot/cl-unification/docs/html/hash-t-read-macro.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/hash-t-read-macro.html 2012/12/29 23:25:22 1.2 @@ -11,11 +11,12 @@
- CL Unification: Standard Generic Function TEMPLATE-SPEC + CL Unification: #T Reader Macro @@ -103,7 +104,7 @@
-

News

+
@@ -129,7 +130,7 @@ --- /project/cl-unification/cvsroot/cl-unification/docs/html/index.html 2012/01/16 15:43:46 1.8 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/index.html 2012/12/29 23:25:22 1.9 @@ -14,6 +14,7 @@ CL Extensions: UNIFICATION
@@ -351,13 +353,7 @@
  • 2011-02-20
    CL-UNIFICATION is now in Quicklisp. -
  • 2007-11-09
    - Updated. -
  • 2004-11-04
    - Updated. -
  • 2004-05-05
    - Started the site. -
  • +
@@ -374,7 +370,7 @@ --- /project/cl-unification/cvsroot/cl-unification/docs/html/links.html 2011/03/06 15:06:12 1.5 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/links.html 2012/12/29 23:25:22 1.6 @@ -47,7 +47,7 @@ @@ -120,7 +121,7 @@ --- /project/cl-unification/cvsroot/cl-unification/docs/html/make-shared-environment-function.html 2004/11/17 22:19:56 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/make-shared-environment-function.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ CL Unification: Function MAKE-SHARED-ENVIRONMENT @@ -85,7 +86,7 @@

This function is provided to allow for the construction of "trees" of frames for interpreter-like environments. The macros - MATCH, MATCHING, and MATCH-CASE rely on this function, as they + MATCH, MATCHF, MATCHING, MATCHF-CASE and MATCH-CASE rely on this function, as they immediately construct a "shared" environment.

Current Implementation Note

@@ -93,9 +94,6 @@

MAKE-SHARED-ENVIRONMENT relies on the LIST implementation of environments.

-

The use of MAKE-SHARED-ENVIRONMENT in MATCHING and MATDCH-CASE is - still incomplete.

- @@ -108,7 +106,7 @@
-

News

+
@@ -134,7 +132,7 @@ --- /project/cl-unification/cvsroot/cl-unification/docs/html/match-case-macro.html 2004/11/17 22:19:56 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/match-case-macro.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ CL Unification: Macro MATCH-CASE @@ -121,7 +122,7 @@
-

News

+
@@ -147,7 +148,7 @@ @@ -156,4 +157,4 @@ - + --- /project/cl-unification/cvsroot/cl-unification/docs/html/match-macro.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/match-macro.html 2012/12/29 23:25:22 1.2 @@ -1,6 +1,6 @@ - CL Unification: Macro MATCH + CL Unification: Macros MATCH and MATCHF @@ -11,11 +11,12 @@
- CL Unification: Macro MATCH + CL Unification: Macros MATCH and MATCHF @@ -50,6 +51,13 @@

+

+

+  matchf (template object &key substitution errorp error-value) &body forms
+  => results*
+  
+

+

Arguments and Values:

template---a unification template @@ -79,6 +87,10 @@ UNIFICATION-FAILURE, otherwise the result of evaluating error-value, whose default is NIL is returned.

+

MATCHF works as MATCH but it does not evaluate template; + it is useful whenever the template is cons that needs to be used + as-is, without resorting to explicit quoting.

+

Affected By:

@@ -113,7 +125,7 @@
-

News

+
@@ -139,7 +151,7 @@ @@ -148,4 +160,4 @@ - + --- /project/cl-unification/cvsroot/cl-unification/docs/html/matching-macro.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/matching-macro.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ CL Unification: Macro MATCHING @@ -120,7 +121,7 @@
-

News

+ +
@@ -146,7 +148,7 @@ @@ -155,4 +157,4 @@ - + --- /project/cl-unification/cvsroot/cl-unification/docs/html/nil-template-class.html 2005/05/20 16:38:06 1.2 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/nil-template-class.html 2012/12/29 23:25:22 1.3 @@ -14,8 +14,9 @@ CL Unification: Class NIL-TEMPLATE @@ -131,6 +132,7 @@
+ +
@@ -157,7 +160,7 @@ --- /project/cl-unification/cvsroot/cl-unification/docs/html/nth-template-class.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/nth-template-class.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ CL Unification: Class NTH-TEMPLATE @@ -129,6 +130,7 @@
+
@@ -155,7 +157,7 @@ --- /project/cl-unification/cvsroot/cl-unification/docs/html/nthcdr-template-class.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/nthcdr-template-class.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ CL Unification: Class NTHCDR-TEMPLATE @@ -129,7 +130,7 @@
-

News

+
@@ -155,7 +157,7 @@ --- /project/cl-unification/cvsroot/cl-unification/docs/html/number-template-class.html 2005/05/20 16:18:33 1.2 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/number-template-class.html 2012/12/29 23:25:22 1.3 @@ -14,8 +14,9 @@ CL Unification: Class NUMBER-TEMPLATE @@ -146,6 +147,7 @@
+
@@ -172,7 +174,7 @@ --- /project/cl-unification/cvsroot/cl-unification/docs/html/standard-object-template-class.html 2004/11/17 22:19:56 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/standard-object-template-class.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ CL Unification: Class STANDARD-OBJECT-TEMPLATE @@ -189,7 +190,7 @@
-

News

+
@@ -215,7 +216,7 @@ --- /project/cl-unification/cvsroot/cl-unification/docs/html/structure-object-template-class.html 2004/11/17 22:19:56 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/structure-object-template-class.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ CL Unification: Class STRUCTURE-OBJECT-TEMPLATE @@ -167,7 +168,7 @@
-

News

+
@@ -193,7 +194,7 @@ --- /project/cl-unification/cvsroot/cl-unification/docs/html/symbol-template-class.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/symbol-template-class.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ CL Unification: Class SYMBOL-TEMPLATE @@ -114,7 +115,7 @@
- +
@@ -141,7 +142,7 @@ --- /project/cl-unification/cvsroot/cl-unification/docs/html/template-class.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/template-class.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ CL Unification: Class TEMPLATE @@ -100,6 +101,7 @@
+
@@ -126,7 +128,7 @@ --- /project/cl-unification/cvsroot/cl-unification/docs/html/template-p-function.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/template-p-function.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ CL Unification: Standard Generic Function TEMPLATE-P @@ -95,7 +96,7 @@
-

News

+
@@ -121,7 +122,7 @@ --- /project/cl-unification/cvsroot/cl-unification/docs/html/template-spec-accessor.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/template-spec-accessor.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ CL Unification: Standard Generic Function TEMPLATE-SPEC @@ -101,7 +102,7 @@
-

News

+ +
@@ -127,7 +129,7 @@ @@ -135,3 +137,5 @@ + + --- /project/cl-unification/cvsroot/cl-unification/docs/html/templates.html 2011/03/06 15:09:10 1.2 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/templates.html 2012/12/29 23:25:22 1.3 @@ -138,7 +138,7 @@ +
@@ -198,7 +199,7 @@ --- /project/cl-unification/cvsroot/cl-unification/docs/html/type-template-class.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/type-template-class.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ CL Unification: Class TYPE-TEMPLATE --- /project/cl-unification/cvsroot/cl-unification/docs/html/unification-dictionary.html 2011/03/06 15:11:59 1.4 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/unification-dictionary.html 2012/12/29 23:25:22 1.5 @@ -14,8 +14,8 @@ CL Extensions: UNIFICATION Dictionary @@ -58,20 +58,24 @@
  • Class STANDARD-OBJECT-TEMPLATE
  • Class STRUCTURE-OBJECT-TEMPLATE
  • -
  • Function MAKE-TEMPLATE +
  • Class REGULAR-EXPRESSION-TEMPLATE
  • + +
  • Generic function TEMPLATE-P
  • Accessor TEMPLATE-SPEC
  • Reader Macro #T
  • Function MAKE-EMPTY-ENVIRONMENT +
  • Function MAKE-SHARED-ENVIRONMENT
  • Function FIND-VARIABLE-VALUE -
  • Macro MATCH +
  • Macros MATCH and MATCHF +
  • Macros MATCH-CASE + and MATHCF-CASE
  • Macro MATCHING -
  • Macro MATCH-CASE - + + @@ -133,7 +138,7 @@ --- /project/cl-unification/cvsroot/cl-unification/docs/html/unify-function.html 2011/02/11 17:49:39 1.2 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/unify-function.html 2012/12/29 23:25:22 1.3 @@ -14,8 +14,9 @@ CL Unification: Standard Generic Function UNIFY @@ -364,6 +365,7 @@
    +
    @@ -390,7 +392,7 @@ --- /project/cl-unification/cvsroot/cl-unification/docs/html/unify-package.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/unify-package.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ CL Unification: Package CL.EXT.DACF.UNIFICATION @@ -79,6 +80,7 @@
    +
    @@ -105,7 +107,7 @@ --- /project/cl-unification/cvsroot/cl-unification/docs/html/unifying-substitutions.html 2011/03/06 15:08:30 1.2 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/unifying-substitutions.html 2012/12/29 23:25:22 1.3 @@ -135,6 +135,7 @@ ;;; will not be held liable etc etc etc etc etc. --> + @@ -187,7 +188,7 @@ --- /project/cl-unification/cvsroot/cl-unification/docs/html/usci-variable.html 2011/02/11 17:49:39 1.2 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/usci-variable.html 2012/12/29 23:25:22 1.3 @@ -14,8 +14,9 @@ CL Unification: Variable *UNIFY-STRING-CASE-SENSITIVE-P* @@ -91,7 +92,7 @@
    -

    News

    +
    @@ -117,7 +118,7 @@