Bug#461402: ITP: cl-unification -- Unification framework for common lisp
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
Reply to: