FAQ Search Today's Posts Mark Forums Read
» Video Reviews

» Linux Archive

Linux-archive is a website aiming to archive linux email lists and to make them easily accessible for linux users/developers.


» Sponsor

» Partners

» Sponsor

Go Back   Linux Archive > Debian > Debian Development

 
 
LinkBack Thread Tools
 
Old 01-18-2008, 08:19 AM
Philipp Benner
 
Default 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



--
To UNSUBSCRIBE, email to debian-devel-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
 

Thread Tools




All times are GMT. The time now is 09:29 PM.

VBulletin, Copyright ©2000 - 2014, Jelsoft Enterprises Ltd.
Content Relevant URLs by vBSEO ©2007, Crawlability, Inc.
Copyright 2007 - 2008, www.linux-archive.org