cl-unification-pkg.lisp 2.08 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113
;;;; -*- Mode: Lisp -*-

;;;; unification-package.lisp --
;;;; Package definition for the CL-UNIFICATION library.
;;;;
;;;; See file COPYING for copyright and licensing information.


(defpackage "IT.UNIMIB.DISCO.MA.CL.EXT.DACF.UNIFICATION" (:use "CL")
  (:nicknames  "CL.EXT.DACF.UNIFICATION" "UNIFY" "unify" "CL-UNIFICATION")
  (:documentation "The CL.EXT.DACF.UNIFICATION Package.

This package contains all the definitions necessary for the general
Common Lisp unifier to work.
The package also has the \"UNIFY\" nickname.")

  (:export
   "*UNIFY-STRING-CASE-SENSITIVE-P*"
   "UNIFY"

   "APPLY-SUBSTITUTION"

   "UNIFICATION-FAILURE"
   "UNIFICATION-VARIABLE-UNBOUND"
   )

  (:export
   "ENVIRONMENT"
   "ENVIRONMENT-P"
   "MAKE-EMPTY-ENVIRONMENT"
   "EMPTY-ENVIRONMENT-P"
   "MAKE-SHARED-ENVIRONMENT"
   "COPY-ENVIRONMENT"
   
   "PUSH-FRAME"
   "POP-FRAME"

   "BINDING-VARIABLE"
   "BINDING-VALUE"

   "EXTEND-ENVIRONMENT"
   "FILL-ENVIRONMENT"
   "FILL-ENVIRONMENT*"

   "FIND-VARIABLE-VALUE"
   "V?"

   "NEW-VAR"
   "VARIABLEP"
   "VARIABLE-ANY-P"
   )

  (:export
   "MATCH"
   "MATCHF"
   "MATCHING"
   "MATCH-CASE"
   "MATCHF-CASE"
   )

  (:export
   "UNIFY*"
   "UNIFY-EQUATIONS"
   "UNIFY-EQUATIONS*")

  (:export
   "MAKE-TEMPLATE"
   "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")
  )

;;;; end of file -- unification-package.lisp --