Text this: Programming with higher-order logic /