Bug#461402: ITP: cl-unification -- Unification framework for common lisp

[Philipp Benner <pbenner@uni-osnabrueck.de>]

Package: wnpp
Severity: wishlist
Owner: Philipp Benner <pbenner@uni-osnabrueck.de>

* Package name    : cl-unification
  Upstream Author : Marco Antoniotti <marcoxa@alu.org>
* URL             : http://common-lisp.net/project/cl-unification/
* License         : BSD
  Programming Lang: Lisp
  Description     : Unification framework for common lisp

The library provides a full blown unification framework for Common Lisp.

The notion of unification originated in the field of formal logic
and has been used extensively in Computer Science and
Programming Languages. Most notably, Prolog uses the full power of
unification.


-- System Information:
Debian Release: lenny/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable'), (500, 'stable')
Architecture: powerpc (ppc)

Kernel: Linux 2.6.18
Locale: LANG=en_IE.UTF-8, LC_CTYPE=en_IE.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash

-- 
Philipp Benner