A Representation of Programs for Learning and Reasoning