Using Prolog for the study of algebraic structures and complex operations

Should mathematicians learn the Prolog language? Due to its ability of modeling algebraic structures having complex operations and its backtracking algorithm able to scan a search space looking for solutions, Prolog becomes a great tool to study complex algebraic structures. The model of interactions between compilers when computer scientists are attempting to bootstrap a system or to create a new language or a new compiler is such an algebraic structure. This paper tries to answer “yes'' our previous question.