Lenguajes del paradigma logico

Contents

Icon

Si bien es un lenguaje basado en procedimientos, su ejecución goal oriented posibilita un estilo de programación que guarda bastantes similitudes con el paradigma lógico. Además la posibilidad de contar con generators permite utilizar backtracking dentro de los procedimientos.

Por otro lado tiene soporte para realizar aplicaciones con interfaces gráficas. También existe una versión denominada Jcon que permite un fácil integración con Java.

La página principal del lenguaje Icon es: https://www2.cs.arizona.edu/icon/ pero la introducción más clara la encontré en: http://en.wikipedia.org/wiki/Icon_programming_language