-Shapiro (Ed.): Third International Conference on Logic Programming, Proceedings, Springer-Verlag 1986