З того, що я бачив у Prolog, здається, що це було б ідеально підходить для створення програмного забезпечення для програм. Тим не менш, я не вірю, що я ніколи не бачив механізму, написаного в Prolog. Чи є якесь властиве обмеження в Prolog (наприклад, поганий алгоритм збору сміття), який би перешкоджав його використанню для створення механізму правил?