Como criar refazer o interpretador em Prolog para usar escopo estático?
Parece que a palavra "criar" está fora de contexto. Acredito que a versão correta seria:
Como refazer o interpretador em Prolog para usar escopo estático?