Une sémantique observationnelle du modèle des boîtes pour la résolution de programmes logiques (version étendue)

Pierre Deransart, Mireille Ducassé, Gérard Ferrand

This report specifies an observational semantics and gives an original presentation of the Byrd's box model. The approach accounts for the semantics of Prolog tracers independently…