1. ISO/IEC 13211: Information technology - Programming languages - Prolog, Geneva (1995)
2. Abe, S., Bandoh, T., Yamaguchi, S., Kurosawa, K., Kiriyama, K.: High performance integrated prolog processor ipp. In: Proceedings of the 14th Annual International Symposium on Computer Architecture, ISCA 1987, pp. 100–107. ACM, New York (1987), http://doi.acm.org/10.1145/30350.30362
3. CCIS;W.T. Adrian,2012
4. Aït-Kaci, H.: Warren’s Abstract Machine: A Tutorial Reconstruction. MIT Press, Gliwice (1999)
5. Atzmueller, M., Hilgenberg, K.: Towards capturing social interactions with sdcf: An extensible framework for mobile sensing and ubiquitous data collection. In: Proc. 4th International Workshop on Modeling Social Media. ACM Press (2013)