Блог

Я пытаюсь написать простой код, подобный этому:

В псевдокоде:

 function(x,y):
if y = 0:
        return x
if x = 0:
        return y
  

Я предполагаю, что я должен использовать sth как

 function(X,Y,Return) :-
  

в качестве отправной точки и «если y = 0:» будет

 y =:= 0.
  

но как мне вернуть X? Мне нужно присвоить его возвращаемой переменной, но как?

Редактировать: я думаю, что нашел это:

 test(X,Y,Z) :- 
    ( Y =:= 0 ->  Z = X );
    ( X =:= 0 ->  Z = Y ).
  

Это просто:

 function(X, 0, X).
function(0, Y, Y).
  

В ответ на редактирование. Приведенное выше решение лучше, потому что оно проще, чем

 function(X,Y,Z) :- 
    ( Y =:= 0 ->  Z = X );
    ( X =:= 0 ->  Z = Y ).
  

и может использоваться в обратном направлении:

 function(0, X, 3).
  

находит X в одной версии, но не в другой.