Գրեք սա: Logic Programming '89 :