X

prolog programming