toutes les options
stretch  ] [  sid  ]
[ Paquet source : yap  ]

Paquet : yap (6.2.2-6 et autres)

Liens pour yap

Screenshot

Ressources Debian :

Télécharger le paquet source yap :

Responsable :

Ressources externes :

Paquets similaires :

système Prolog de haute performance

Il s’agit d’un compilateur haute performance pour Prolog, développé à LIACC, Université de Porto et à COPPE Sistemas, UFRJ. Le moteur Prolog de YAP est basé sur la « Machine abstraite de Warren », avec plusieurs optimisations pour améliorer la performance. YAP suit le standard d’Édimbourg et est largement compatible avec le standard ISO-Prolog et avec Quintus Prolog et SICStus Prolog.

YAP fournit un solveur de contraintes sur les nombres réels et prend en charge le langage de programmation par contraintes CHR (Constraint Handling Rules).

Étiquettes: Développement de logiciel: Compilateur, Interpréteur, devel::lang:prolog, implemented-in::c, Rôle: Programme

Autres paquets associés à yap

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger yap

Télécharger pour toutes les architectures proposées
Architecture Version Taille du paquet Espace occupé une fois installé Fichiers
armel 6.2.2-6+b2 2 357,3 ko13 813,0 ko [liste des fichiers]