ADD: PrologList.