Text this: LogiQL and Predicate Logic