أرسل هذا في رسالة قصيرة: Logic programming : proceedings of the 1994 international symposium / edited by Maurice Bruynooghe.