After a description of the loop checking mechanisms described in [BAK 89] and [B 90], two implementations of these mechanisms are presented. The first one is a meta-interpreter for logic programs, written in PROLOG. The second one is a pre-compiler that transform a PROLOG program into a new one that include the loop checking mechanisms. A comparison of the different implementations is done, as the comparison of the different loop checking. Finally, the question "How costly is loop checking?" is discussed.
la date de réponse | 1991 |
---|
langue originale | Anglais |
---|
L'institution diplômante | |
---|
Superviseur | Baudouin LE CHARLIER (Promoteur) |
---|
Implementation of loop checking
Henrard, J. (Auteur). 1991
Student thesis: Master types › Master en sciences informatiques