Hi everybody,
I just start to learn Prolog.
I have to write a Prolog program where the Horn clauses and the goal will only consist of a predicate symbol, which thus will not be followed by a sequence of terms enclosed in parentheses.
What exactly means?
Something like this:
A :- B, C, D.
B...