Debian logoDebian Screenshots >

yap

High-performance Prolog System

Description

High-performance Prolog compiler developed at LIACC/Universidade do Porto and at COPPE Sistemas/UFRJ. The YAP Prolog engine is based in the 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 a constraint solver over real numbers, and support for constraint handling rules (CHR).

Upload more screenshots

Please help extend the collection of screenshots. Just make a screenshot and upload it here. You don't need to register or anything.


Homepage

http://www.dcc.fc.up.pt/~vsc/Yap/


Statistics

2397 other people were interested in this package here. The newest known version of this software is 6.2.2-6+b4 (Information last updated about 20 hours ago.)