El modelo, en el cual se basaron casi exclusivamente los primeros programas (software) de inteligencia artificial, como Prolog, tiene severas limitaciones.