Commented all remaining predicates and dcgs