También soporta algunas extensiones al Prolog incluyendo programación con restricciones sobre un dominio finito, parsing usando gramáticas cláusula definida, y una interface de sistema operativo.