Предикат. Сумма элементов двух списков наиболее близка к заданному чилу - Prolog

p(X, Y, Q, -S) X и Y - упорядоченные по возрастанию списки, Q - число Предикат истинный тогда и только тогда, когда S есть сумма вида xi+yj, наиболее близкая к числу Q. Собственно задача была реализована ее в 2010 году, но мне кажется решение не верное. x [1,2,3] y [1,2,3] Q 2 false Непонятно, что делает данный код. Как можно по другому реализовать данную задачу