Email Record: Programming with higher-order logic /