Арены, где доминирует core.logic [soft]

Программирование логики ограничений может быть очень полезно для решения различных задач планирования, распределения ресурсов и других нетривиальных ограничений. комбинаторные задачи оптимизации. Все, что у вас есть, является декларативным: ограничения (например, только один самолет может находиться на взлетно-посадочной полосе одновременно) и, возможно, что-то, что вы хотите минимизировать / максимизировать (пропускная способность / ожидание).

В Прологе есть различные хорошо известные варианты этого, включая CLP(FD). , который работает в конечной целочисленной области, и CLP(R), который работает в реальной области. По крайней мере, CLP(FD), кажется, находится в ближайшей дорожной карте core.logic.

Я полагаю, что такие основанные на Прологе решения активно используются в управлении воздушным движением и других логистические задачи, хотя трудно получить точную информацию о том, какие именно технологии используют такие жизненно важные компании.

Исследования в области искусственного интеллекта и, в частности, когнитивной робототехники и других приложений представления знаний на основе логики - это области, в которых Пролог часто используется из-за его тесной связи с теорией логики. Это соотношение очень полезно, потому что оно в основном воплощает теорию в жизнь. Теоремы можно доказать на бумаге, а затем почти тривиально реализовать в прологе и выполнить, а исполняемые программы обладают проверенными свойствами. Это позволяет создавать программы, которые «правильны по построению», что противоположно тому, чтобы сначала писать программы, а затем пытаться доказать их свойства (как это делается в формальных методах, используя, например, проверку модели).

Семантическая паутина — еще одно место, где логическое программирование играет растущую роль.