Сложности с Prolog

Формулировка задачи:

Задание: Написать в Turbo Prolog программу, которая будет искать значение Z по введённым с клавиатуры значениям X и Y, при этом в зависимости от значения X должно происходить разветвление программы. Например, при X < 0, Z = X + Y, а при X >= 0, Z = X*Y.

domains
    X, Y, Z=real
predicates
    enter(X, Y).
    find(X, Y, Z).
clauses
    enter(X, Y) :- write("Enter first number: "),
    readreal(X),
    write("Enter second number: "),
    readreal(Y). 
    find(X, Y, Z) :- enter(X, Y), X<0, Z=X+Y, write(X, "+", Y, "=", Z), nl.
    find(X, Y, Z) :- enter(X, Y), X>=0, Z=X*Y, write(X, "*", Y, "=", Z), nl.
goal
    find(X, Y, Z).

Всё работает, но почему-то турбо пролог просит ввести первое и второе значение (X и Y соответственно) дважды при условии, если это положительные числа (на самом деле понятно почему просит, но как этого избежать?). Я перепробовал по-разному, в прологе всего несколько дней, пока не знаю всех тонкостей. Уже пару часов пока ничего работающего на ум не приходит.

Решение задачи: «Сложности с Prolog»

textual
                            Листинг программы 
                        

                                find(X, Y, Z) :- X<0, Z=X+Y, write(X, "+", Y, "=", Z), nl.
    find(X, Y, Z) :- X>=0, Z=X*Y, write(X, "*", Y, "=", Z), nl.
goal
    enter(X, Y),     
    find(X, Y, Z).
                        