Решение уравнения 2х+7у-3z=4 в целых числах (Visual Prolog)

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

Нужно составить программу решения уравнения 2х+7у-3z=4 в целых числах, не превосходящих по абсолютной величине 15.

Решение задачи: «Решение уравнения 2х+7у-3z=4 в целых числах (Visual Prolog)»

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

domains
int=integer
intl=int*
intll=intl*
 
predicates
task(intl)
next(intl,intl)
 
clauses
 
next([5,5,5],[]). 
next([X,Y,Z],[X,Y,Z1]) :- Z<5, Z1=Z+1, !.
next([X,Y,5],[X,Y1,-5]) :- Y<5, Y1=Y+1, !.
next([X,5,5],[X1,-5,-5]) :- X<5, X1=X+1, !.
 
task([]).
task([X,Y,Z]) :- 2*X+7*Y-3*Z=4, write("X=",X," Y=",Y," Z=",Z),nl, next([X,Y,Z],[XX,YY,ZZ]), task([XX,YY,ZZ]), !. 
task([X,Y,Z]) :- 2*X+7*Y-3*Z<>4, next([X,Y,Z],[XX,YY,ZZ]), task([XX,YY,ZZ]), !. 
 
goal
task([-5,-5,-5])

Объяснение кода листинга программы

Код решает задачу поиска решения уравнения 2x+7y-3z=4 в целых числах.

В начале кода определены два домена: int (целое число) и intl (массив целых чисел).
Затем определена функция next, которая принимает на вход два массива целых чисел и добавляет к последнему числу единицу, если оно меньше или равно 5. Это позволяет генерировать все возможные комбинации чисел от -5 до 5.
Функция task принимает на вход массив чисел и проверяет, выполняется ли условие уравнения 2x+7y-3z=4. Если это так, то она выводит значения x, y и z, а затем вызывает функцию next для генерации следующего набора чисел.
Если условие не выполняется, функция вызывает функцию next для генерации следующего набора чисел и повторно вызывает себя для нового набора чисел.
В конце кода задается цель, которая вызывает функцию task с начальным набором чисел [-5,-5,-5].