Описание тега reasoned-schemer
The Reasoned Schemer - это книга по логическому программированию, написанная Дэниелом П. Фридманом, Уильямом Э. Бердом и Олегом Киселевым.
The Reasoned Schemer — книга по логическому программированию, написанная Дэниелом П. Фридманом, Уильямом Э. Бердом и Олегом Киселевым.
Связанный тег на SO — minikanren .