Как в SWI-Prolog сделать логическую операцию (OR) над числом?

Question

[Tolik]

Моя попытка:

?- A = 13, B = 1.
A = 13,
B = 1.

?- C is (A \/ B).
ERROR: is/2: Arguments are not sufficiently instantiated

Что не так? Это как бы встроенный предикат, по этому он должен работать.

P.S. Моей целью есть наиболее быстро сделать из случайного числа непарное, для чего собственно и делаю такую операцию. Если последний бит 1 то это число будет 100% непарное, а мне это и нужно

Answer 1

[sun-sapient]

1 ?- R is \/(13, 1).
R = 13.