File XLOG 1.3 lists

1 Predicate memberchk/2