;;;; -*- Mode: Lisp -*-

;;;; unification-package.lisp --
;;;; Package definition for the CL-UNIFICATION library.
;;;;
;;;; Copyright (c) 2004-2011 Marco Antoniotti
;;;; See file COPYING for copyright 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"
   "MATCH-COND"
   "MATCHF-COND"
   "MATCHING"
   "MATCH-CASE"
   "MATCH-ECASE"
   "MATCHF-CASE"
   "MATCHF-ECASE"
   )

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

  (:export
   "ENABLE-TEMPLATE-READER"
   "MAKE-TEMPLATE"
   "TEMPLATEP"
   "TEMPLATE-SPEC"

   "COLLECT-TEMPLATE-VARS"
   )

  #+cl-ppcre
  (:export
   "REGULAR-EXPRESSION"
   "REGEXP")

  #+named-readtables
  (:export
   "TEMPLATE-READTABLE")
  )

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