A Propagation Tracer for GNU-Prolog: From Formal Definition to Efficient Implementation.

Ludovic Langevine, Mireille Ducass, Pierre Deransart

Browse the full ICLP paper archive.