Работа со списками ЯП Prolog

На ЯП Prolog. PDF с описанием языка, на всякий случай, прикрепил

Реализовать основные функции работы со списками (формирование списка, вывод на экран, добавление, удаление элемента, объединение списков - см. лекции).

1. Реализовать функции для обращения и сортировки списка.

2.  Логическая загадка

В книжном магазине среди прочих имеются 4 книги:  

• Away in Arles.  
• Call of Duty.  
• Dessert Oasis.  
• Wendalissa.

Каждая из этих книг написана одним из перечисленных авторов:  

• Alexis Olson.  
• Daniel Hansen.  
• Roscoe Jones.  
• Zoey Stout.

На прошлой неделе данные книги были проданы в количестве 12, 19, 26 и 33 копии, при этом неизвестно, сколько копий каждой конкретной книги было продано.

Известно следующее:

1. Из книг Dessert  Oasis и Wendalissa какая-то одна была продана в количестве 19 копий,  а другая написана автором Alexis   Olson.

2. Из книг, проданных количеством 33 и 19 копий, какая-то одна написана автором Roscoe Jones, а другая - это Away in Arles.

3. Количество проданных копий книги Wendalissa на 7 больше, чем книги, написанной Zoey Stout.

Напишите программу на языке Prolog, которая решает данную загадку. Для каждой книги необходимо узнать автора и количество проданных копий.

Требования к коду:

Должен быть реализован предикат sol(-Solution), где Solution - это список троек вида КоличествоКопий-НазваниеКниги-Автор.

Пример работы программы

?- sol(S).

S= [19-olson-wendalissa, 7-author-away, 22-jackson-book, 33-anotherauthor-anotherbook].

Имена авторов и названия книг для простоты и компактности следует задавать элементарными атомарными конструкциями.

Away in Arles    -> away

Call of Duty     -> call

Dessert Oasis   -> dessert

Wendalissa      -> wendalissa

Alexis Olson    -> olson

Danien Hansen -> hansen

Roscoe Jones  -> jones

Zoey Stout     -> stout

Обозначить соответствующими комментариями места в коде, где реализованы подсказки 1, 2 и 3.