Объясните подробнее алгоритм действий этих нескольких строчек кода. И что делает каждый предикат?

@Muriam · Регистрация: 11.02.2018

Студворк — интернет-сервис помощи студентам

Prolog

find_min_price:-
        findall(Price, products(_,_,Price), L),                              
        sort(L,[MinPrice|_]),                                                
        write(MinPrice),nl,
        findall(Name, products(_, Name, MinPrice), Names),
        print(Names).

@Black Fregat · 08.05.2018, 22:27

Предикат findall(X, p(X), L) собирает в список L все такие X, для которых выполняется предикат p(X).
Соответственно, строка 2 соберёт в список все цены из базы, а строка 5 соберёт в список все имена из базы, для которых цена равна MinPrice.

Наиболее сложно, вероятно, выглядит строка 3, так как в ней совмещены две конструкции: сортировка списка и выделение головы из результата сортировки. Проще понять, если записать то же самое в два раздельных действия:

Prolog

1 2	sort(L, Sorted), Sorted = [MinPrice\|_]

Опции темы

Объясните подробнее алгоритм действий этих нескольких строчек кода. И что делает каждый предикат?

Решение