Сумма всех трехзначных чисел, не делящихся ни на 5, ни на 7 на Prolog

[abc7]

Никак не могу разобраться с условием кратности 5 и 7.

implement main
    open core
 
 
class predicates 
    sum : (integer N, integer S) procedure (i, o).
 
clauses
    classInfo("main", "1.0").
    
   sum(N, 1) :- N<100, !.
   sum(N,1) :- N mod 5 = 0, N mod 7 = 0, !.
   sum(N, N+S) :- sum(N-1, S).
 
 
    run():- console::init(),
          
        sum(999, S), stdio::write(S), stdio::nl.
         
end implement main
 
goal
    mainExe::run(main::run).

[iborisov]

На данный момент в Прологе я полный ноль, но если проблема только в

Сообщение от abc7

не могу разобраться с условием кратности 5 и 7

, предлагаю попробовать:

(N mod 5)*(N mod 7)

Результат этого, отличный от нуля, будет сигнализировать, что число не делится ни на 5, ни на 7 без остатка.

Update:

sum(0, 0). 
sum(X, R) :-
    X > 99,
    (X mod 7)*(X mod 5) > 0, 
    Y is X - 1, 
    sum(Y, R1),
    R is X + R1;
    Y is X - 1, 
    sum(Y, R1),
    R is R1.

main :-
    sum(999, S),
    writeln(S). 
:- main.

Проверено на онлайн компиляторе
Осталось только адаптировать под ваш компилятор, если необходимо.

[abc7]

Нет, в Visual Prolog не работает, ругается на is. Но все равно спасибо. Я сам первый раз на прологе пишу.