Logic programming : proceedings of the 1993 international symposium / edited by Dale Miller. Miller, Dale. Association for Logic Programming. International Symposium on Logic Programming (1993 : Vancouver, B.C.) Logic programming Congresses. 001.642 LOG Papers presented at the 1993 International Logic Programming Symposium held in Vancouver, British Columbia, Canada, from Oct. 26-29, 1993. Sponsored by the Association for Logic Programming, et al. Includes bibliographical references and index. Cambridge, Mass. : MIT Press, c1993. c1993. 1993 Text xxii, 686 p. : eng Logic programming Logic programming.