Начать
Команда1
Команда2
Если УСЛОВИЕ
  Команда3
Иначе
  Команда4
Закончить

% Всё, что после знака процента в строке - комментарии
human('Plato'). % Платон - человек
human('Socrates'). % Сократ - тоже человек
human('Aristotle'). % Конечно, человеком был и Аристотель
% ...и др. философы
mortal(X) :- human(X). % Читаем так: "X смертен, если X - человек"

?- mortal('Socrates').
true.

% слова с большой буквы Prolog считает переменными, поэтому их следует заключать в кавычки
like('Petya', 'Milk'). % программа знает, что Петя любит молоко
good('Kesha'). % Кеша хороший
number_of_sides('Triangle', 3). % у треугольника три вершины
like('Misha', X). % не является фактом, так как значение переменной X не определено

a(X,Y,Z) :- b(X), c(Y,Z), d().

% Опишем набор фактов о том, кто что обычно ест на завтрак в семье Пети
eat(father, cheese).
eat(father, apple).
eat(father, melon).
eat(mother, meat).
eat(sister, meat).
eat('Petya', cheese).
eat(brother, orange).

?- eat(father, apple). % ест ли отец яблоки
true.
?- eat(father, meat).  % ест ли отец мясо
false.
?- eat(sister, X). % что ест сестра
X = meat.
?- eat(X, cheese). % кто ест сыр
X = father ;
X = 'Petya'.
?- eat(X, Y). % кто что ест
X = father,
Y = cheese ;
X = father,
Y = apple ;
X = father,
Y = melon ;
X = mother,
Y = meat ;
X = sister,
Y = meat ;
X = 'Petya',
Y = cheese ;
X = brother,
Y = orange.

d(X,X,1) :- !. % производная X по X = 1
d(T,X,0) :- atomic(T). % производная константы = 0
d(U+V,X,DU+DV) :- d(U,X,DU), d(V,X,DV). % производная суммы = сумме производных
d(U-V,X,DU-DV) :- d(U,X,DU), d(V,X,DV).
d(-T,X,-R) :- d(T,X,R).
d(C*U,X,C*W) :- atomic(C), C\=X, !, d(U,X,W). % производная константы, умноженной на выражение = константе на производную от выражения
d(U*V,X,Vd*U+Ud*V) :- d(U,X,Ud), d(V,X,Vd). % производная произведения
d(U/V,X,(Ud*V-Vd*U)/(V*V)) :- d(U,X,Ud), d(V,X,Vd).

?- d((x-1)/(x+1),x,R).
R =  ((1-0)*(x+1)-(1+0)*(x-1))/((x+1)*(x+1)).

speciality(X,tech_translator) :- studied_languages(X), studied_technical(X). % X - технический переводчик, если изучал языки и технические предметы
speciality(X,programmer) :- studied(X,mathematics), studied(X, compscience). % X - программист, если изучал математику и компьютерные науки
speciality(X,lit_translator) :- studied_languages(X), studied(X,literature). % X - литературный переводчик, если изучал языки
studied_technical(X) :- studied(X,mathematics). % X изучал технические предметы, если изучал математику
studied_technical(X) :- studied(X,compscience). % ...или компьютерные науки
studied_languages(X) :- studied(X,english). % X изучал языки, если изучал английский
studied_languages(X) :- studied(X,german). % ...или немецкий
studied(petya,mathematics). % Петя изучал математику
studied(petya,compscience). % ...компьютерные науки
studied(petya,english). % ...и английски
studied(vasya,german). % Вася изучал немецкий
studied(vasya,literature). %...и литературу

?- speciality(X,tech_translator).
X = petya ;
X = petya ;
false.

% Обозначения: w - белый шар, b - чёрный, e - пустая ячейка
is_ball(w). % w - шар
is_ball(b). % b - шар
near([X,e|T],[e,X|T]) :- is_ball(X). % если фишка рядом с пустой ячейкой, то можно переместиться
near([e,X|T],[X,e|T]) :- is_ball(X).
jump([X,Y,e|T],[e,Y,X|T]) :- is_ball(X), is_ball(Y). % если за соседним шаром есть пустая ячейка, то можно переместиться
jump([e,Y,X|T],[X,Y,e|T]) :- is_ball(X), is_ball(Y).
% предикат перемещения. Мы или рассматриваем первые элементы списка, или убираем первый элемент и повторяем операцию
move(L1,L2) :- near(L1,L2).
move(L1,L2) :- jump(L1,L2).
move([X|T1],[X|T2]) :- move(T1,T2).
% предикат продления текущего пути. Если из состояния X можно перейти в состояние Y и
% Y не содержится в текущем пути, то Y - удачное продление
prolong([X|T],[Y,X|T]) :- move(X,Y), not(member(Y,[X|T])).
% Первый аргумент - очередь путей, второй - целевое состояние, третий - результат, то есть найденный путь
bdth([[X|T]|_],X,R) :- reverse([X|T], R). % Поиск в ширину нашел решение, если первый элемент пути совпадает с целью (путь наращивается с начала, так что перевернем результат)
bdth([P|QI],Y,R) :- bagof(Z,prolong(P,Z),T), append(QI,T,QO), !, bdth(QO,Y,R). % Ищем все возможные продления первого пути и кладём в очередь, рекурсивно запускаем поиск
bdth([_|T],Y,R) :- bdth(T,Y,R). % Если продлений на предыдущем шаге не нашлось, то есть bagof вернул false, убираем первый путь из очереди
bsearch(X,Y,R) :- bdth([[X]],Y,R). % Удобная обёртка над предикатом bdth
% Предикат, который решает нашу задачу и выводит результат и длину найденного пути на экран
solve :- bsearch([w,w,w,e,b,b,b],[b,b,b,e,w,w,w],P), write(P), nl, length(P, Len), write(Len), nl.

% Первый аргумент - текущий путь, второй - целевое состояние, третий - результат, то есть найденный путь
dpth_id([X|T],X,R,0) :- reverse([X|T], R). % Успешное окончание поиска
dpth_id(P,Y,R,N) :- N > 0, prolong(P,P1), N1 is N - 1, dpth_id(P1,Y,R,N1). % Если счётчик >0, то уменьшаем его и продолжаем поиск рекурсивно
generator(1). % Изначально предикат вернет 1
generator(N) :- generator(M), N is M + 1. % Рекурсивно получаем 2, 3, 4 и т. д.
isearch(X,Y,R) :- generator(D), dpth_id([X],Y,R,D). % Удобная обертка, которая будет вызывать поиск от каждого натурального значения глубины.

near([w,e|T],[e,w|T]).
near([e,b|T],[b,e|T]).
jump([w,X,e|T],[e,X,w|T]) :- is_ball(X).
jump([e,X,b|T],[b,X,e|T]) :- is_ball(X).