Пролог: количество положительных элементов в списке

Question

Я хочу считать положительные элементы в списке (VIsual Prolog). Так я написал эту функцию:

positiveCount([], C). 
positiveCount([A], C) :- A > 0, C = C + 1. 
positiveCount([H|T], C) :- H > 0,!,C = C+1,positiveCount(T,C); positiveCount(T,C). 

Ошибка:

The flow pattern '(o,i)' does not exist for '+' main.pro 

как я понял из этой ошибки, я не могу использовать C=C+1 для C в качестве входной переменной.

Любые идеи, как я могу исправить свой код?

Answer 1

Следующий код использует clpfd на swi-prolog, поэтому не следует ожидать, что для запуска как есть на visual-prolog :-(
Тем не менее я надеюсь, что это вам полезен!

 
:- use_module (library(clpfd)). 

count_pos([], 0). 
count_pos([E|Es], C) :- E  #=< 0,   count_pos(Es, C). 
count_pos([E|Es], C) :- E  #> 0, C  #= C0+1, count_pos(Es, C0). 

Давайте читать пункты в простом английском языке в направление «стрелки» :-, то есть «справа налево».

1. count_pos([], 0).

   The number of positive arithmetic expressions contained in the empty list [] is zero.

2. count_pos([E|Es], C) :- E #=< 0, count_pos(Es, C).

   If list Es contains C positive arithmetic expressions
   and if some arithmetic expression E is not positive
   then conclude that [E|Es] also contains C positive arithmetic expressions.

3. count_pos([E|Es], C) :- E #> 0, C#= C0+1, count_pos(Es, C0).

   If list Es contains C0 positive arithmetic expressions
   and if some arithmetic expression Eis positive
   then conclude that [E|Es] also contains C0+1 positive arithmetic expressions.

Пример запроса:

?- count_pos([1,2,3,0,-1,-2], C). 
    C = 3 
; false.