Text this: Programing wiht higher order-logic