[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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

-- 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: