Recent questions tagged logic-programming

5 votes
0 answers
1
Consider the following logic program P$\begin{align*} A(x) &\gets B(x,y), C(y) \\ &\gets B(x,x) \end{align*}$Which of the following first order sentences is equivalent to...
To see more, click for the full list of questions or popular tags.