Prolog , | 4.