Исправление XVilka, (текущая версия) :
Есть, например, движок блога Prolog - plog, а еще существует Probabilistic Prolog - ProbLog, используемый в геномике. Классный, между прочим, язык. Рекомендую посетить Awesome Prolog List и книгу The Power of Prolog. Еще отличная книга - Simply Logical: Intelligent Reasoning by Example. В последнее время к нему еще интерес в анализе программ - Souffle Language, Datalog Disassembly by GrammaTech, Pharos Static Binary Analysis Framework от Carnegie Mellon University, и множество менее публичных проектов.
На данный момент ведется разработка по созданию высокопроизводительной ISO-совместимой реализации на Rust - Scryer Prolog. Некое подобие пролога планируется использовать даже в самом компиляторе Rust - Chalk.
Исправление XVilka, :
Есть, например, движок блога Prolog - plog, а еще существует Probabilistic Prolog - ProbLog, используемый в геномике. Классный, между прочим, язык. Рекомендую посетить Awesome Prolog List и книгу The Power of Prolog. Еще отличная книга - Simply Logical: Intelligent Reasoning by Example. В последнее время к нему еще интерес в анализе программ - Souffle Language, Datalog Disassembly by GrammaTech, Pharos Static Binary Analysis Framework от Carnegie Mellon University, и множество менее публичных проектов.
На данный момент ведется разработка по созданию высокопроизводительной ISO-совместимой реализации на Rust - Scryer Prolog. Некое подобие пролога используется даже в самом компиляторе Rust - Chalk.
Исходная версия XVilka, :
Есть, например, движок блога Prolog - plog, а еще существует Probabilistic Prolog - ProbLog, используемый в геномике. Классный, между прочим, язык. Рекомендую посетить Awesome Prolog List и книгу The Power of Prolog. Еще отличная книга - Simply Logical: Intelligent Reasoning by Example. В последнее время к нему еще интерес в анализе программ - Souffle Language, Datalog Disassembly by GrammaTech, Pharos Static Binary Analysis Framework от Carnegie Mellon University, и множество менее публичных проектов.