The predicate "disease" will have a

The predicate "disease" will have as a parameter the name of the disease in the clauses section. The predicate "is_disease" will have as a parameter the category of diseases, defined and recursively appealed every time it is met in the program.

ผลลัพธ์ (ไทย) 1:

เพรดิเคต "โรค" จะมีพารามิเตอร์ชื่อโรคในส่วนคำสั่ง เพรดิเคต "is_disease" เป็นพารามิเตอร์ประเภทของโรค กำหนดและ recursively ร้องทุกครั้งมันเป็นไปตามในโปรแกรมได้

ผลลัพธ์ (ไทย) 2:

คำกริยา "โรค" จะต้องเป็นพารามิเตอร์ชื่อของโรคในส่วนของคำสั่งที่ คำกริยา "is_disease" จะต้องเป็นพารามิเตอร์หมวดหมู่ของโรคที่กำหนดและได้ยื่นอุทธรณ์ซ้ำทุกครั้งที่พบกันในโปรแกรม