Tekstiviesti: Programing wiht higher order-logic