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)
- GNU Biblioteca C: Bibliotecas compartilhadas
also a virtual package provided by libc6-udeb
-
- dep: libgcc1 (>= 1:3.0)
- Package not available
-
- dep: libgmp10
- biblioteca aritmética de multi precisão
-
- dep: libncurses5 (>= 6)
- Package not available
-
- dep: libreadline7 (>= 6.0)
- Package not available
-
- dep: libstdc++6 (>= 5)
- Biblioteca C++ padrão da GNU v3
-
- dep: libtinfo5 (>= 6)
- 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 |
---|---|---|---|---|
i386 | 6.2.2-6+b2 | 2,577.9 kB | 14,444.0 kB | [list of files] |