✅ Перевірена відповідь на це питання доступна нижче. Наші рішення, перевірені спільнотою, допомагають краще зрозуміти матеріал.
Consider the following Prolog program:
all_0s([ ]).
all_0s([0|Tail]) :- all_0s(Tail).
We query the above program with the following goal:
?- all_0s([0, 0, 1, 0]).
Which
of the following are possible derived queries for this goal?