Resumen de Una semántica operacional para CProlog

Antonio José Fernández Leiva , Blas Carlos Ruiz Jiménez

• Presentamos CProlog, un Prolog tipado con unmecanismo de clasificación y control de la sobrecarga de predicados al estilo Haskell. Damos, así mismo, su semántica operacional en base a una nueva estrategia de resolución, en la cual el significado de un objetivo (para un predicado sobrecargado) viene determinado por el contexto en el que aparezca (es decir, por la secuencia de objetivos donde interviene, así como por los tipos de sus argumentos); el nuevo mecanismo de resolución estará estrechamente relacionado con el proceso de inferencia de tipos; esbozamos un sistema de tipos que captura el poliformismo, aunque la sobrecarga es resuelta en conjunción con las reglas operacionales.