Desde entonces Prolog es un lenguaje semi-interpretado.