Text this: Logic programming, functions, relations, and equations /