1. Prolog and infinite trees;Colmerauer,1982
2. An introduction to Prolog-III;Colmerauer;Communications of the ACM,1990
3. Swedish Institute of Computer Science, Intelligent Systems Laboratory, SICStus Prolog User’s Manual, release 3.9 Edition (2002)
4. Records for logic programming;Smolka;Journal of Logic Programming,1994
5. V. Santos Costa, L. Damas, R. Reis, R. Azevedo, YAP User’s Manual, Universidade do Porto, version 4.3.20 Edition (2001)