References

[1] ISO/IEC DTR 13211{3:2006}, Definite clause grammar rules, Jonathan Hodgson jpehodgson@verizon.net, July 30, 2015
http://www.complang.tuwien.ac.at/ulrich/iso-prolog/dcgs/dcgsdraft-2015-07-30.pdf
[2] Szeredi, P. (1999): Contributions To Or-Parallel Logic Programming, PhD Thesis, Péter Szeredi, Techical University of Budapest, December 1997
http://www.cs.bme.hu/~szeredi/docs/SzerediPhd.pdf
[3] Covington, M.A., Bagnara, R., O’Keefe, R.A., Wielemaker, J. and Price, S. (2011): Cod-ing guidelines for Prolog, 2011
http://arxiv.org/abs/0911.2899
   

Comments