validator for logic programs