Package: yap (6.2.2-6 and others)

[ Source: yap  ]

High-performance Prolog System

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).

Tags: Software Development: Compiler, Interpreter, devel::lang:prolog, implemented-in::c, Role: Program, Interface Toolkit: Ncurses TUI

Other Packages Related to yap

• dep: libc6 (>= 2.23) [i386]

  GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.29) [not i386]

• dep: libcrypt1 (>= 1:4.1.0) [not i386]

  libcrypt shared library

• dep: libgcc-s1 (>= 3.0) [amd64, arm64]

  GCC support library

  dep: libgcc-s1 (>= 3.5) [armel, armhf]

• dep: libgcc1 (>= 1:3.0) [i386]

  Package not available

• dep: libgmp10

  Multiprecision arithmetic library

• dep: libncurses5 (>= 6) [i386]

  Package not available

• dep: libreadline7 (>= 6.0) [i386]

  Package not available

• dep: libreadline8 (>= 6.0) [not i386]

  GNU readline and history libraries, run-time libraries

• dep: libstdc++6 (>= 5)

  GNU Standard C++ Library v3

• dep: libtinfo5 (>= 6) [i386]

  Package not available

• dep: zlib1g (>= 1:1.1.4)

  compression library - runtime

Download yap

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
amd64	6.2.2-6+b5	2,572.6 kB	16,138.0 kB	[list of files]
arm64	6.2.2-6+b5	2,456.8 kB	15,708.0 kB	[list of files]
armel	6.2.2-6+b5	2,317.2 kB	13,579.0 kB	[list of files]
armhf	6.2.2-6+b5	2,343.7 kB	12,714.0 kB	[list of files]
i386	6.2.2-6+b2	2,577.9 kB	14,444.0 kB	[list of files]