Absys

Résumé

Absys est un ancien langage de programmation déclarative créé par l'Université d'Aberdeen en 1969. Il prévoit un certain nombre de fonctionnalités de Prolog comme la négation par l'échec, les opérateurs d'agrégation, le rôle central de et la résolution de contraintes. Absys été le premier mode de réalisation d'un langage de programmation logique. Le nom d'Absys est une abréviation pour système Aberdeen. "ABSYS: Un compilateur incrémental pour les assertions"..

Source officielle

https://fr.wikipedia.org/wiki/Absys

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.