File XLOG 4.1 dcg

1 Predicate --> /2