A Propagation Tracer for Gnu-Prolog: from Formal Definition to Efficient Implementation

Ludovic Langevine 1 Mireille Ducassé 2
2 LIS - Logical Information Systems
IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
Type de document :
Communication dans un congrès
International Conference on Logic Programming, 2003, Mumbay, India. 2003
Liste complète des métadonnées

https://hal.inria.fr/hal-00756836
Contributeur : Mireille Ducassé <>
Soumis le : vendredi 23 novembre 2012 - 18:38:52
Dernière modification le : mardi 16 janvier 2018 - 15:54:13

Identifiants

  • HAL Id : hal-00756836, version 1

Citation

Ludovic Langevine, Mireille Ducassé. A Propagation Tracer for Gnu-Prolog: from Formal Definition to Efficient Implementation. International Conference on Logic Programming, 2003, Mumbay, India. 2003. 〈hal-00756836〉

Partager

Métriques

Consultations de la notice

215