SS13
Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Frage(n) zu PoPL
Hi,
ich gehe gerade das Skript durch und stolpere doch hin und wieder auf Folien,
die ich trotz Videos nicht wirklich erklären kann.
Eine Folie ist bspw. Folie 6.5:
“Horn clause: A condition is true if zero or more other clauses are true.”
und weiter:
“If a person X is old and wise then X is happy.
old(X), wise(X) are horn clauses.”
Müsste es dann nicht heißen:
Ein Horn-Klausel ist wahr, sollten alle ihre Bedingungen wahr sein?
Wäre nur old(X) wahr und wise(X) nicht, dann wäre doch auch happy(X) falsch…?
Evtl. kann da ja jdm Klarheit schaffen :)!