ADD: PrologList. Refactoring.