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

Bug#450688: ITP: yap -- YAP Prolog compiler



Package: wnpp
Severity: wishlist
Owner: Ralf Treinen <treinen@debian.org>

* Package name    : yap
  Version         : 5.1.1
  Upstream Author : Luis Damas and Vitor Santos Costa, plus contributors
* URL             : http://www.ncc.up.pt/~vsc/Yap/
* License         : Artistic
  Programming Lang: C
  Description     : YAP Prolog compiler

YAP is a high-performance Prolog compiler developed at LIACC/Universidade
do Porto and at COPPE Sistemas/UFRJ. Its Prolog engine is based in the WAM
(Warren Abstract Machine), with several optimizations for better
performance. YAP follows the Edinburgh tradition, and is largely
compatible with the ISO-Prolog standard and with Quintus and SICStus Prolog. 

YAP features constraint solvers over real numbers, and support for 
constraint handling rules (CHR).

-- System Information:
Debian Release: lenny/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (1, 'experimental')
Architecture: i386 (i686)

Kernel: Linux 2.6.22-3-486
Locale: LANG=en_US.utf8, LC_CTYPE=en_US.utf8 (charmap=UTF-8) (ignored: LC_ALL set to en_US.utf8)
Shell: /bin/sh linked to /bin/bash




Reply to: