0зной
3ответ
Помощь с предложениями пролога
5зной
4ответ
Многопоточность в ... функциональных языках? (Prolog)
7зной
2ответ
Вопрос о логике и соответствии с Карри-Говардом
29зной
7ответ
Реляционное/логическое программирование на Python?
3зной
1ответ
Реляционный клаузальный логический вопрос: что такое интерпретация Хербранда
8зной
3ответ
Поддержка логических переменных для .NET.