Грюмники и Грымзики рогатые и очень полосатые :) - Prolog

Формулировка задачи:

1. Известно, что грымзики или полосатые или рогатые или и то и другое вместе. Грюндик не имеет рогов, Грюмник не имеет рогов и не полосат. Ответить на вопросы: a. Является ли Грюмник грымзиком? b. Является ли Грюндик грымзиком? c. Кто является грымзиком? d. Кто не является грымзиком?

Решение задачи: «Грюмники и Грымзики рогатые и очень полосатые :)»

textual
                            Листинг программы 
                        

                            ?- task1.
Yavlyaetsya li Gryumnik grimzikom: no
Yavlyaetsya li Gryundik grimzikom: yes
Grimzikami yavlyayutsya: gryundik 
Gimzikami ne yavlyayutsya: gryumnik
                        