Here is a simple Prolog program that reformulates the famous logical argument by Aristotle:

```prolog
% (Statements in program file (.pl))
mortal(X) :- human(X). % "Every human is mortal"
human(socrates). % "Socrates is human"

% (Interactive query)
?- mortal(socrates). % Is Socrates mortal?
% will return "true."
```
นี่คือโปรแกรม Prolog ง่ายๆ ที่จัดรูปแบบอาร์กิวเมนต์เชิงตรรกะที่มีชื่อเสียงของอริสโตเติลใหม่: ```prolog % (คำสั่งในไฟล์โปรแกรม (.pl)) mortal(X) :- human(X) % "มนุษย์ทุกคนต้องตาย" มนุษย์(โสกราตีส) % "โสกราตีสคือมนุษย์" % (แบบสอบถามแบบโต้ตอบ) ?- มนุษย์(โสกราตีส) % โสกราตีสตายหรือไม่? % จะส่งกลับ "จริง" ```
spam fails_task lang_mismatch pii not_appropriate hate_speech sexual_content quality toxicity humor helpfulness creativity violence