Logic programming : proceedings of the fourth international conference - Lassez, Jean-Louis (MIT Press series in logic programming., 1987)