File XLOG 1.3 lists

1 Predicate last/2