Просмотр поста

Судя по всему, как и в прологе, самой маленькой еденицей программы есть атомы, всего их два типа - строки и числа.
Есть константы - T(правда) и NIL(ложь).

Меня сейчас терзает один вопрос. Если в прологе создавались правила.. в одном секторе программы объявляем, а в другом - описываем их. То что делать тут?

Уже нашел описание списков.. те самые скобки в которых идет перечесление.. элементов, как я понимаю.
Опять же, как в лиспе, есть понятие - голова списка и его хвост..
Чтоб задать список, если не прав, то поправте, кто может, нужно использовать такой формат:
имя списка ::= (голова, хвост)

Дальше же идет работа со списками с помощью немалого количества функций..
p.s. Буду пробовать создавать списки.. Может чего и получится