18просмотров72.0%от подписчиков24 февраля 2026 г.Score: 20λProlog: Logic programming in higher-order logic Article, Comments