K Prolog , X a ) » N5 , 2 ’ BMlmsn.