Գրեք սա: Logic programming