Logic programming : proceedings of the 1993 international symposium / - Miller, Dale. (MIT Press,, 1993)