cl-unification-cvs

cl-unification-cvs@common-lisp.net

158 discussions

[cl-unification-cvs] CVS update: cl-unification/templates-hierarchy.lisp
by mantoniotti＠common-lisp.net 27 Apr '05

27 Apr '05

Update of /project/cl-unification/cvsroot/cl-unification In directory common-lisp.net:/tmp/cvs-serv24008 Modified Files: templates-hierarchy.lisp Log Message: Fixed bugs in COLLECT-TEMPLATE-VARS for NUMBER-TEMPLATEs. If a variable was present, then the method was not returning a list. The treatment of constants like PI was also incorrect, as the numeric value was returned. Retunrning () seems the right thing to do instead. Date: Wed Apr 27 22:44:25 2005 Author: mantoniotti Index: cl-unification/templates-hierarchy.lisp diff -u cl-unification/templates-hierarchy.lisp:1.1.1.1 cl-unification/templates-hierarchy.lisp:1.2 --- cl-unification/templates-hierarchy.lisp:1.1.1.1 Wed Nov 17 23:19:54 2004 +++ cl-unification/templates-hierarchy.lisp Wed Apr 27 22:44:25 2005 @@ -485,10 +485,13 @@ (let ((template (number-template-number template))) (etypecase template (number ()) - (symbol (cond ((variablep template) template) + (symbol (cond ((and (variablep template) (not (variable-any-p template))) + (list template)) ((and (boundp template) (numberp (symbol-value template))) - (symbol-value template)) + ;; This handles cases like #T(number pi) + ;; It may be too broad, but for the time being it seems ok. + nil) (t (error "Invalid number template ~S." template)))))))

1 0

[cl-unification-cvs] CVS update: cl-unification/match-block.lisp
by mantoniotti＠common-lisp.net 27 Apr '05

27 Apr '05

Update of /project/cl-unification/cvsroot/cl-unification In directory common-lisp.net:/tmp/cvs-serv23912 Modified Files: match-block.lisp Log Message: Added MATCH-CASE macro. Slightly modified from the version provided by Peter Scott. Date: Wed Apr 27 22:41:56 2005 Author: mantoniotti Index: cl-unification/match-block.lisp diff -u cl-unification/match-block.lisp:1.1.1.1 cl-unification/match-block.lisp:1.2 --- cl-unification/match-block.lisp:1.1.1.1 Wed Nov 17 23:19:54 2004 +++ cl-unification/match-block.lisp Wed Apr 27 22:41:56 2005 @@ -126,4 +126,59 @@ )) + +(defmacro match-case ((object &key errorp default-substitution) &rest clauses) + "MATCH-CASE sets up a CASE-like environment for multiple template matching clauses. +The syntax of MATCH-CASE comprises a number of clauses of the form + + <clause> ::= <regular-clause> | <default-clause> + <regular-clause> ::= (<template> &body <forms>) + <default-clause> ::= (t &body <forms>) + | (otherwise &body <forms>) +<form> and <forms> are regular Common Lisp forms. +<template> is a unification template. + +The full syntax of MATCHING is + + match-case <object> (&key errorp default-substitution) <clauses> + +Each clause evaluates its forms in an environment where the variables +present in the template are bound lexically. Note that both variable +names '?FOO' and 'FOO' are bound for convenience. + +The values returned by the MATCHING form are those of the last form in +the first clause that satisfies the match test. + +If ERRORP is non-NIL then if none of the regular clauses matches, then +an error of type UNIFICATION-NON-EXAUSTIVE is signalled, regardless of +any default clause. Otherwise, the default clause behaves as a +standard CASE default clause. The default value of ERRORP is NIL. +" + (declare (ignore default-substitution)) ; For the time being. + (let* ((object-var (gensym "OBJECT-VAR-")) + (otherwise-clause-present-p + (member (caar (last clauses)) '(t otherwise))) + (non-otherwise-clauses + (if otherwise-clause-present-p + (butlast clauses) + clauses)) + (otherwise-clause + (if otherwise-clause-present-p + (first (last clauses)) + (when errorp + `(error 'unification-not-exhaustive)))) + ) + (labels ((generate-matchers (clauses) + (if (null clauses) + otherwise-clause + (destructuring-bind (pattern &rest body) + (car clauses) + `(handler-case (match (,pattern ,object-var) + ,@body) + (unification-failure () + ,(generate-matchers (cdr clauses)))))))) + `(let ((,object-var ,object)) + ,(generate-matchers non-otherwise-clauses))))) + + ;;; end of file -- math-blocks.lisp --

1 0

[cl-unification-cvs] CVS update: cl-unification/unification.asd
by mantoniotti＠common-lisp.net 27 Apr '05

27 Apr '05

Update of /project/cl-unification/cvsroot/cl-unification In directory common-lisp.net:/tmp/cvs-serv18342 Added Files: unification.asd Log Message: Added unification.asd file. Date: Wed Apr 27 21:31:18 2005 Author: mantoniotti

1 0

[cl-unification-cvs] CVS update: cl-unification/docs/html/links.html
by mantoniotti＠common-lisp.net 21 Apr '05

21 Apr '05

Update of /project/cl-unification/cvsroot/cl-unification/docs/html In directory common-lisp.net:/tmp/cvs-serv5583 Modified Files: links.html Log Message: Fixed, but not completed, the page. Date: Thu Apr 21 17:33:20 2005 Author: mantoniotti Index: cl-unification/docs/html/links.html diff -u cl-unification/docs/html/links.html:1.1.1.1 cl-unification/docs/html/links.html:1.2 --- cl-unification/docs/html/links.html:1.1.1.1 Wed Nov 17 23:19:55 2004 +++ cl-unification/docs/html/links.html Thu Apr 21 17:33:20 2005 @@ -1,6 +1,6 @@ <html> <head> - <title>CLRFI: COMMON LISP Requests for Improvements Links</title> + <title>CL Unification Links</title> <link rel="stylesheet" href="main.css"> </head> @@ -11,12 +11,10 @@ <td colspan="3"> <div class="header" style="font-family:=Verdana,Arial,Helvetica; font-size: 18px; color: #41286f;"> - <strong><i>CLRFI: Common Lisp Requests for Improvements Links</i><string> + <strong><i>CL Unification Links</i><string> <div class="navigation"> <a href="index.html" class="navigation-link">Home</a> - | <a href="doc.html" class="navigation-link">Documents</a> - | <a href="faq.html" class="navigation-link">FAQ</a> - | <a href="clrfis.html" class="navigation-link">CLRFI listing</a> + | <a href="downloads.html" class="navigation-link">Downloads</a> | <a href="links.html" class="navigation-link-selected">Links</a> </div> </div> @@ -35,26 +33,11 @@ <h1>Links</h1> - <p>Here are some links which are pertinent to the CLRFI project.</p> + <p>Here are some links which are pertinent to the + <strong>CL-UNIFICATION</strong> project.</p> - <ul> - <li><a href="http://srfi.schemers.org">SRFI</a></li> - - <li>Local <strong>Common Lisp</strong> user communities - <ul> - <li><a href="http://www.lispnyc.org">LispNYC</a></li> - <li><a href="http://www.jugtouch.com/~rss/lisp">CRACL</a></li> - </ul> - </li> + <p>...</p> - <li>Software Repositories - <ul> - <li><a href="http://www.common-lisp.net">common-lisp.net</a></li> - <li>...</li> - </ul> - </li> - <li>...</li> - </ul> <!-- ;;; Copyright (c) 2004 Marco Antoniotti, All rigths reserved. @@ -92,6 +75,10 @@ </p> <ul> + <li><strong>2005-04-20</strong><br> + Fixed (but not completed) the page. + </li> + <li><strong>2004-04-12</strong><br> Started the site. </li>

1 0

[cl-unification-cvs] CVS update: cl-unification/docs/html/downloads.html
by mantoniotti＠common-lisp.net 28 Jan '05

28 Jan '05

Update of /project/cl-unification/cvsroot/cl-unification/docs/html In directory common-lisp.net:/tmp/cvs-serv2793 Added Files: downloads.html Log Message: Added file `downloads.html'. Date: Fri Jan 28 11:46:37 2005 Author: mantoniotti

1 0

[cl-unification-cvs] CVS update: cl-unification/docs/html/index.html
by mantoniotti＠common-lisp.net 28 Jan '05

28 Jan '05

Update of /project/cl-unification/cvsroot/cl-unification/docs/html In directory common-lisp.net:/tmp/cvs-serv2194/docs/html Modified Files: index.html Log Message: Minor changes to text. Fixed `download.html' link. Date: Fri Jan 28 11:45:41 2005 Author: mantoniotti Index: cl-unification/docs/html/index.html diff -u cl-unification/docs/html/index.html:1.1.1.1 cl-unification/docs/html/index.html:1.2 --- cl-unification/docs/html/index.html:1.1.1.1 Wed Nov 17 14:19:55 2004 +++ cl-unification/docs/html/index.html Fri Jan 28 11:45:40 2005 @@ -34,6 +34,7 @@ <h1>Common Lisp Extensions: UNIFICATION</h1> + <hr> <em> <p> <b>DISCLAIMER:</b> The code associated to these documents is not @@ -49,6 +50,7 @@ disclaimer you can think of. </p> </em> + <hr> <p>The notion of <em>unification</em> originated in the field of formal logic (e.g. <a href="#R65">[R65]</a>,) and has been used

1 0

[cl-unification-cvs] CVS update: cl-unification/lambda-list-parsing.lisp cl-unification/unifier.lisp
by mantoniotti＠common-lisp.net 28 Jan '05

28 Jan '05

Update of /project/cl-unification/cvsroot/cl-unification In directory common-lisp.net:/tmp/cvs-serv1402 Modified Files: lambda-list-parsing.lisp unifier.lisp Log Message: Fixed minor problem in Lambda List parsing. Also VALID-TEMPLATE-P was expanded, and it looks like it should become a generic function. Date: Fri Jan 28 11:30:36 2005 Author: mantoniotti Index: cl-unification/lambda-list-parsing.lisp diff -u cl-unification/lambda-list-parsing.lisp:1.1.1.1 cl-unification/lambda-list-parsing.lisp:1.2 --- cl-unification/lambda-list-parsing.lisp:1.1.1.1 Wed Nov 17 14:19:54 2004 +++ cl-unification/lambda-list-parsing.lisp Fri Jan 28 11:30:35 2005 @@ -51,11 +51,16 @@ ;;; The next function is really implementation-dependent, give the ;;; definition of LAMBDA-LIST-KEYWORDS + (define-condition lambda-list-parsing-error (program-error) ((item :reader lambda-list-parsing-error-item :initarg :item) ) + (:report (lambda (llpe stream) + (format stream "Error while parsing an extended lambda-list (at ~S.)" + (lambda-list-parsing-error-item llpe)))) ) + (defun symbol-or-cons-p (x) (or (symbolp x) (consp x))) Index: cl-unification/unifier.lisp diff -u cl-unification/unifier.lisp:1.1.1.1 cl-unification/unifier.lisp:1.2 --- cl-unification/unifier.lisp:1.1.1.1 Wed Nov 17 14:19:55 2004 +++ cl-unification/unifier.lisp Fri Jan 28 11:30:35 2005 @@ -214,11 +214,16 @@ ;;; valid-template-p -- ;;; Useful later. Tests whether the object X can be considered a template. +;;; This should probably become a generic function. (defun valid-template-p (x) (or (symbolp x) (consp x) (numberp x) + (arrayp x) + (typep (class-of x) 'structure-class) + (typep (class-of x) 'standard-class) + (typep (class-of x) 'built-in-class) (template-p x)))

1 0

[cl-unification-cvs] CVS update: Module imported: cl-unification
by Marco Antoniotti 17 Nov '04

17 Nov '04

Update of /project/cl-unification/cvsroot/cl-unification In directory common-lisp.net:/tmp/cvs-serv21864 Log Message: Initial import. Status: Vendor Tag: cl-unification Release Tags: start N cl-unification/lambda-list-parsing.lisp N cl-unification/INSTALLATION N cl-unification/COPYING N cl-unification/match-block.lisp N cl-unification/substitutions.lisp N cl-unification/README N cl-unification/templates-hierarchy-saved.lisp N cl-unification/templates-hierarchy.lisp N cl-unification/unifier.lisp N cl-unification/unification-package.lisp N cl-unification/unification.system N cl-unification/variables.lisp N cl-unification/docs/html/.DS_Store N cl-unification/docs/html/dictionary.html N cl-unification/docs/html/templates.html N cl-unification/docs/html/index.html N cl-unification/docs/html/links.html N cl-unification/docs/html/main.css N cl-unification/docs/html/unification-dictionary.html N cl-unification/docs/html/elt-template-class.html N cl-unification/docs/html/unify-function.html N cl-unification/docs/html/unify-package.html N cl-unification/docs/html/make-empty-environment-function.html N cl-unification/docs/html/expression-template-class.html N cl-unification/docs/html/nthcdr-template-class.html N cl-unification/docs/html/match-macro.html N cl-unification/docs/html/matching-macro.html N cl-unification/docs/html/symbol-template-class.html N cl-unification/docs/html/element-template-class.html N cl-unification/docs/html/template-class.html N cl-unification/docs/html/control-flow.html N cl-unification/docs/html/template-p-function.html N cl-unification/docs/html/unifying-substitutions.html N cl-unification/docs/html/type-template-class.html N cl-unification/docs/html/array-template-class.html N cl-unification/docs/html/usci-variable.html N cl-unification/docs/html/template-spec-accessor.html N cl-unification/docs/html/vector-template-class.html N cl-unification/docs/html/find-variable-value-function.html N cl-unification/docs/html/hash-t-read-macro.html N cl-unification/docs/html/nth-template-class.html N cl-unification/docs/html/number-template-class.html N cl-unification/docs/html/list-template-class.html N cl-unification/docs/html/nil-template-class.html N cl-unification/docs/html/sequence-template-class.html N cl-unification/docs/html/aref-template-class.html N cl-unification/docs/html/string-template-class.html N cl-unification/docs/html/match-case-macro.html N cl-unification/docs/html/subseq-template-class.html N cl-unification/docs/html/structure-object-template-class.html N cl-unification/docs/html/standard-object-template-class.html N cl-unification/docs/html/make-shared-environment-function.html N cl-unification/docs/html/images/header_bg.gif N cl-unification/docs/html/images/header_bg_1.gif N cl-unification/docs/html/images/shim.gif N cl-unification/docs/html/images/Thumbs.db N cl-unification/docs/html/images/Thumbs.db:encryptable N cl-unification/docs/html/images/unif-templ-hier.gif N cl-unification/docs/html/images/unif-templ-hier.sxd N cl-unification/docs/html/images/unif-templ-hier.pdf N cl-unification/docs/html/images/unif-templ-hier.ps N cl-unification/docs/html/images/unif-templ-hier.pcl No conflicts created by this import Date: Wed Nov 17 23:19:58 2004 Author: mantoniotti New module cl-unification added

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

cl-unification-cvs