Упражнения

9. 1. Определите отношение
        список( Объект)
для распознавания случаев, когда Объект является стандартным прологовским списком.
Посмотреть ответ
9. 2.    Определите отношение принадлежности к списку, используя систему обозначений, введенную в этой разделе: "затем - ничего_не_делать".
Посмотреть ответ
9. 3.    Определите отношение
        преобр( СтандСпис, Спис)
для преобразования списков из стандартного представления в систему "затем-ничего_не_делать". Например:
        преобр( [а, b], а затем b затем ничего_не_делать)
Посмотреть ответ
9. 4.    Обобщите отношение преобр на случай произвольного альтернативного представления списков. Конкретное представление задается символом, обозначающим пустой список, и функтором для соединения головы с хвостом. В отношении преобр придется добавить два новых аргумента:
        преобр( СтандСпис, Спис, Функтор, ПустСпис)
Примеры применения этого отношения:
        ?-  пpeoбp( [а, b], L, затем, ничего_не_делать).
        L = а затем b затем ничего_не_делать
        ?-  преобр( [а, b, с], L, +, 0).
        L = а+(b+(с+0) )
Посмотреть ответ