Из того, что я видел в Прологе, кажется, что он идеально подходит для создания движка правил для приложения. Тем не менее, я не верю, что когда-либо видел механизм правил, написанный на Прологе. Есть ли в Прологе некоторое внутреннее ограничение (например, плохой алгоритм сборки мусора), которое не позволило бы использовать его для создания механизма правил?