File XLOG 3.6 cyclic

1 Predicate acyclic_term/1