how to code in prolog