Skip to content
Sections
>> Trisquel >> Paquets >> aramo >> interpreters >> swi-prolog-core
[  aramo  ]
[ Paquet source : swi-prolog  ]

Paquet : swi-prolog-core (8.4.2+dfsg-2ubuntu1)

ISO/Edinburgh-style Prolog interpreter - core system

SWI-Prolog is a fast and powerful ISO/Edinburgh-style Prolog compiler with a rich set of built-in predicates. It offers a fast, robust and small environment which enables substantial applications to be developed with it.

SWI-Prolog additionally offers: 

 * A powerful module system
 * Garbage collection
 * Unicode character set handling
 * Unbounted integer and rational number arithmetic
 * Multithreading support
 * A powerful C/C++ interface
 * GNU Readline interface

This package contains a working SWI-Prolog core system.

Autres paquets associés à swi-prolog-core

  • dépendances
  • recommandations
  • suggestions
  • dep: libc6 (>= 2.34)
    GNU C Library: Shared libraries
    un paquet virtuel est également fourni par libc6-udeb
  • dep: libgmp10 (>= 2:6.2.1+dfsg)
    Multiprecision arithmetic library
  • dep: libtcmalloc-minimal4 [armhf]
    efficient thread-caching malloc
  • dep: libtinfo6 (>= 6)
    shared low-level terminfo library for terminal handling
  • dep: zlib1g (>= 1:1.1.4)
    compression library - runtime
  • rec: debhelper
    helper programs for debian/rules

Télécharger swi-prolog-core

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
amd64 1 458,0 ko5336 ko [liste des fichiers]
arm64 1 465,5 ko5256 ko [liste des fichiers]
armhf 1 376,2 ko4745 ko [liste des fichiers]
ppc64el 1 470,5 ko5768 ko [liste des fichiers]