Horn clause to Prolog [closed]
-
31-10-2019 - |
Question
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
No correct solution
Licensed under: CC-BY-SA with attribution
Not affiliated with cs.stackexchange