язык логического программирования в ограничениях(в языке логического программирования в ограничениях машина логического вывода дополнена средствами разрешения ограничений, благодаря чему значительно уменьшается пространство поиска и ускоряется решение определённых классов задач, особенно задач планирования, маршрутизации, распределения и т.п. Alex_Odeychuk)
парадигма логического программирования(Prolog itself has a steeper learning curve than many other languages, and its logic programming paradigm can be challenging for developers accustomed to procedural or object-oriented languages.Alex_Odeychuk)