Арифметика и вывод на экран

Вывод на экран

Напишем программу, использующую вывод на экран

a(X) :- write("a1 "), allowA(X).
b(X) :- write("b1 "), allowB(X).
a(X) :- write("a2 "), allowA(X).
b(X) :- write("b2 "), allowB(X).
allowA(maxim).
allowB(george).

Зададим вопрос системе

b(maxim).

Арифметика

Напишем программу, позволяющую проверить: дают ли числа A и B в сумме 10

Напишем код:

goodsumma(A,B,S) :- S is (A + B).
goodnumbers(A, B) :- goodsumma(A,B,10).

Зададим вопрос системе

goodnumbers(7,3).