Գրեք սա: Logic programming :