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

Ludovic Langevine 1 Mireille Ducassé 2
1 SICS
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 : jeudi 15 novembre 2018 - 11:57:36

Identifiants

  • HAL Id : hal-00756836, version 1

Collections

UNIV-RENNES1 | IRISA | IRISA-INSA-R | IRISA-D7 | INRIA | INSTITUT-TELECOM | UR1-UFR-ISTIC | INSA-RENNES | UNIV-RENNES

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

278

Contact


archive-ouverte@inria.fr