all options
squeeze  ] [  wheezy  ] [  jessie  ] [  stretch  ] [  sid  ] [  experimental  ]
[ Source: yap  ]

Package: yap (5.1.3-4)

Links for yap

Screenshot

Debian Resources:

Download Source Package yap:

Maintainer:

External Resources:

Similar packages:

The YAP Prolog System

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 a constraint solver over real numbers, and support for constraint handling rules (CHR).

Tags: Software Development: Compiler, Role: Program

Other Packages Related to yap

  • depends
  • recommends
  • suggests
  • enhances

Download yap

Download for all available architectures
Architecture Package Size Installed Size Files
i386 2,208.7 kB8,936.0 kB [list of files]