Գրեք սա: Programing wiht higher order-logic