Prologda yozilgan dasturning mantiqiy dasturlashni namoyish etuvchi asosiy misoli: ``prolog /* Facts */ parent ((bob, alice). parent ((bob, john). parent ((jane, alice). parent ((jane, john). /* Rules */ sibling ((X, Y) :- ((parentZ, X), parent ((Z, Y), X \= Y. /* Query */?- sibling ((alice, john). ``` Ushbu misolda biz shaxslar o'rtasidagi ota-ona-bola munosabatlarini ko'rsatuvchi faktlardan foydalangan holda oila daraxtini belgilaymiz. Keyin, biz "akash" deb nomlangan qoidaga aniqlik beramiz, agar ikkita shaxs umumiy ota-onasi bilan bo'lishsa, bu to'g'ri. Oxir oqibat, biz "Alice" va "John" singil-qizlarmi,
spam fails_task lang_mismatch pii not_appropriate hate_speech sexual_content quality toxicity humor helpfulness creativity violence