Відправити по sms: Logic programming : proceedings of the 1994 international symposium / edited by Maurice Bruynooghe.