Alle Optionen
stretch  ] [  sid  ]
[ Quellcode: yap  ]

Paket: yap (6.2.2-6 und andere)

Links für yap

Screenshot

Debian-Ressourcen:

Quellcode-Paket yap herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

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

Markierungen: Software-Entwicklung: Compiler, Interpreter, devel::lang:prolog, implemented-in::c, Rolle: Programm, GUI-Baukasten: Ncurses TUI

Andere Pakete mit Bezug zu yap

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

yap herunterladen

Download für alle verfügbaren Architekturen
Architektur Version Paketgröße Größe (installiert) Dateien
amd64 6.2.2-6+b5 2.572,6 kB16.138,0 kB [Liste der Dateien]
arm64 6.2.2-6+b5 2.456,8 kB15.708,0 kB [Liste der Dateien]
armel 6.2.2-6+b5 2.317,2 kB13.579,0 kB [Liste der Dateien]
armhf 6.2.2-6+b5 2.343,7 kB12.714,0 kB [Liste der Dateien]
i386 6.2.2-6+b2 2.577,9 kB14.444,0 kB [Liste der Dateien]