Implementation of loop checking

  • Jean Henrard

Student thesis: Master typesMaster en sciences informatiques

Résumé

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éponse1991
langue originaleAnglais
L'institution diplômante
  • Universite de Namur
SuperviseurBaudouin LE CHARLIER (Promoteur)

Contient cette citation

'