Package: yap (6.2.2-6 and others)
Links for yap
Debian Resources:
Download Source Package yap:
Maintainer:
External Resources:
- Homepage [www.dcc.fc.up.pt]
Similar packages:
sistema prolog de alto desempenho
Compilador Prolog de alto desempenho desenvolvido em LIACC/Universidade do Porto e no COPPE Sistemas/UFRJ. O motor Prolog YAP é baseado na máquina abstrata Warren, com várias otimizações para melhor desempenho. O YAP segue a tradição de Edinburgh, e é amplamente compatível com o ISO-Prolog padrão e com o Quintus e o SICStus Prolog.
YAP possui um resolvedor de retrições sobre números reais, e suporte a regras de manipulação de restrições (constraint handling rules -- CHR).
Other Packages Related to yap
|
|
|
|
-
- dep: libc6 (>= 2.23) [i386]
- GNU Biblioteca C: Bibliotecas compartilhadas
also a virtual package provided by libc6-udeb
- dep: libc6 (>= 2.29) [not i386]
-
- dep: libcrypt1 (>= 1:4.1.0) [not i386]
- biblioteca compartilhada libcrypt
-
- dep: libgcc-s1 (>= 3.0) [amd64, arm64]
- Biblioteca de suporte GCC
- dep: libgcc-s1 (>= 3.5) [armel, armhf]
-
- dep: libgcc1 (>= 1:3.0) [i386]
- Package not available
-
- dep: libgmp10
- biblioteca aritmética de multi precisão
-
- dep: libncurses5 (>= 6) [i386]
- Package not available
-
- dep: libreadline7 (>= 6.0) [i386]
- Package not available
-
- dep: libreadline8 (>= 6.0) [not i386]
- bibliotecas readline e history da GNU, bibliotecas de tempo de execução
-
- dep: libstdc++6 (>= 5)
- Biblioteca C++ padrão da GNU v3
-
- dep: libtinfo5 (>= 6) [i386]
- Package not available
-
- dep: zlib1g (>= 1:1.1.4)
- biblioteca de compressão - runtime (tempo de execução)
Download yap
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] |