Specifying Prolog Trace Models with a Continuation Semantics

Logic Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/3-540-45142-0_10 ◽

2001 ◽

pp. 165-181 ◽

Author(s):

Erwan Jahier ◽

Mireille Ducassé ◽

Olivier Ridoux

Download Full-text