Меня тоже многим оттолкнул Common Lisp. Но я думал, для чего-то простого лучше подойдёт Scheme. Там и лексическая область видимости, и минимализм встроенных конструкций, и tailcall optimization, continuations. Система макросов позволяет создать любой удобный DSL со своими for, var, etc.
Мне эта проблема напомнила про Drools. www.youtube.com/watch?v=GvN9W67Bscs&t=1s
Когда бизнес-логика усложняется, а ТЗ является просто коллекцией утверждений, требуется экспертная система для проверки противоречий.
Когда бизнес-логика усложняется, а ТЗ является просто коллекцией утверждений, требуется экспертная система для проверки противоречий.