Some Prolog code.