References

[1]

Bowen, D.L. et al. (1982): DECsystem-10 PROLOG USER'S MANUAL, Department of Artificial Intelligence University of Edinburgh, 10 November 1982
http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/doc/intro/prolog.doc

[2]

ISO (1995): Prolog, Part 1: General Core, International Standard ISO/IEC 13211-1, First Edition, 1995-06-01

[3]
[4] Richard O'Keefe (2011): An Elementary Prolog Library, Draft 8, November 19, 2010
http://www.complang.tuwien.ac.at/ulrich/iso-prolog/pllib-2010-11-19.htm
[5] Pereira, F.C.N. and Warren, D.H.D. (1980): Definite Clause Grammars for Language Analysis – A Survey of the Formalism and a Comparison with Augmented Transition Networks, North-Holland Publishing Company, Artificial Intelligence, 13, 231 - 278
http://cgi.di.uoa.gr/~takis/pereira-warren.pdf
[6] ISO (2012): Prolog, Part 1: General Core, International Standard ISO/IEC 13211-1, Technical Corrigendum 2, 2012-02-15
[7] Costa, V.S., Rocha, R. and Damas, L. (2011): The YAP Prolog System, Theory and Practice of Logic Programming, 2011
http://arxiv.org/abs/1102.3896
[8] Bueno F. et al. (2006): The Ciao Prolog System, Reference Manual, 2006
http://www.ciaohome.org/Legacy/ciao.pdf
[9] Covington, M.A., Bagnara, R., O’Keefe, R.A., Wielemaker, J. and Price, S. (2011): Coding guidelines for Prolog, 2011
http://arxiv.org/abs/0911.2899
[10] Wielemaker, J. (2014): SWI-Prolog Version 7 Extensions, Jan Wielemaker, Web and media Group, VU University Amsterdam, The Netherlands, 2014
http://www.swi-prolog.org/download/publications/swi7.pdf
   

Kommentare