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

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

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

```
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).
```
