0 prolog code examples