В университете мне довелось изучить Prolog — язык логического программирования. Самым сложным было не написать на нём программу, а использовать скомпилированную Visual Prolog dll у себя. Недавно, наверное в связи с тем, что я веду практику по матлогике, захотелось освежить память. Очень кстати был найден компилятор Prolog-а на PHP.
Вся документация и комментарии на немецком, но, думаю, знакомым с Prolog-ом программистам это не помешает.
