a Predicate-Only proLOG