Logic programming proceedings of the ... conference (Springer, 1986)