Довольно приятный диалект Prolog`a. Автор: A. Gleibman
Язык создан в начале 90-ых в Ленинграде (кажется, город тогда еще не переименовали), человеком, имеющим отношение к астрономии (прошу прощения, если что-то не так скажу об авторе - пишу по памяти).
Где-то там была статья на русском (я ее видел еще тогда, когда этот язык назывался просто Sample, но, наверное, она и сейчас там).
http://sampletalk.com/Вообщем, просто, хорошая работа и ее следует оценить.