У меня вопрос к гуру в языке Пролог. Никак не могу понять, как в Пролог организовать следующее действие:
variants(N):- predicat(_,_),N is N + 1,fail.
хотелось бы сосчитать количество вариантов, которые находит система при вычислении predicat(_,_), которые я перебираю при помощи fail, но N у меня постоянно 0.. юзаю SWI-Prolog.. как сосчитать количество вариантов выдаваемых системой не уходя в рекурсии?