A Propagation Tracer for Gnu-Prolog: from Formal Definition to Efficient Implementation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2003

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

Ludovic Langevine
  • Function : Author
Mireille Ducassé
No file

Dates and versions

hal-00756836 , version 1 (23-11-2012)

Identifiers

  • HAL Id : hal-00756836 , version 1

Cite

Ludovic Langevine, Mireille Ducassé. A Propagation Tracer for Gnu-Prolog: from Formal Definition to Efficient Implementation. International Conference on Logic Programming, 2003, Mumbay, India. ⟨hal-00756836⟩
108 View
0 Download

Share

Gmail Facebook X LinkedIn More