Horn clause to Prolog [closed]
-
31-10-2019 - |
سؤال
At the needs of my HW at uni I need to transform some Horn clauses to Prolog but I cannot figure out how to do it. I found out some guides but they describe how to do it with only one fact. So can you give me a brief example on how to do it?
Eg John is beautiful and rich
we can transform it at: not (Beautiful(John)) ^ not(Rich(John))
which is a Horn clause right? So how this can be translated it Prolog?
another example Everyone loves somebody. Horn clause: $\forall X \exists Y Loves(X,Y)$ how can this be implemented in Prolog?
Thx in advance
لا يوجد حل صحيح
لا تنتمي إلى cs.stackexchange