Package: wnpp Severity: wishlist Owner: Philipp Benner <[EMAIL PROTECTED]>
* Package name : cl-unification Upstream Author : Marco Antoniotti <[EMAIL PROTECTED]> * 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 -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]