Prólogo visual

Visual Prolog , anteriormente conocido como PDC Prolog y Turbo Prolog , es una extensión fuertemente tipada y orientada a objetos de Prolog . Fue comercializado por Borland como Turbo Prolog (versión 1.0 en 1986 y versión 2.0 en 1988). Ahora es desarrollado y comercializado por la firma danesa PDC que lo creó originalmente. Visual Prolog puede crear aplicaciones GUI de Microsoft Windows , aplicaciones de consola , DLL (bibliotecas de vínculos dinámicos) y programas CGI . También puede vincularse a componentes COM y a bases de datos por medio de ODBC .

Visual Prolog contiene un compilador que genera código de máquina x86 y x86-64 . A diferencia del Prolog estándar, los programas escritos en Visual Prolog tienen tipos estáticos . Esto permite detectar algunos errores en tiempo de compilación en lugar de en tiempo de ejecución.

En el ejemplo de las Torres de Hanoi , el motor de inferencia Prolog descubre cómo mover una pila de cualquier cantidad de discos progresivamente más pequeños, uno a la vez, desde el polo izquierdo al polo derecho de la manera descrita, por medio de un centro como tránsito, de modo que nunca haya un disco más grande sobre un disco más pequeño. El predicado hanoitoma un entero que indica la cantidad de discos como argumento inicial.

clase hanoi predicados hanoi : ( unsigned N ). fin clase hanoi implementar hanoi dominios polo = izquierda ; centro ; derecha . cláusulas hanoi ( N ) :- mover ( N ​​, izquierda , centro , derecha ). clase predicados mover : ( unsigned N , polo A , polo B , polo C ). cláusulas mover ( 0 , _ , _ , _ ) :- ! . mover ( N ​​, A , B , C ) :- mover ( N ​​- 1 , A , C , B ), stdio :: writef ( " mover un disco del polo % al polo % \n " , A , C ), mover ( N ​​- 1 , B , A , C ). fin implementar hanoi objetivo console :: init (), hanoi :: hanoi ( 4 ).  
    
           
   
 
  
    
            
 
    
             
 
     
                 
    
             
            
               
              
               
   
 
 
    
   

En septiembre de 1986, Bruce F. Webster de BYTE elogió a Turbo Prolog, afirmando que era el primer producto de Borland que lo entusiasmaba tanto como Turbo Pascal. Le gustaba la interfaz de usuario y el bajo precio, e informó que dos profesores de BYU afirmaron que era superior al Prolog que usaban en la universidad. Mientras cuestionaba la demanda del mercado por el lenguaje, Webster concluyó que "Turbo Prolog puede ser un salto tan significativo en el diseño de software como lo representó Turbo Pascal hace tres años", y lo recomendó a aquellos "interesados ​​en la inteligencia artificial, las bases de datos, los sistemas expertos o nuevas formas de pensar sobre la programación". ^[9] Otro autor en la revista ese mes escribió que la sintaxis no estándar y más estructurada del lenguaje hacía que "los listados de fuentes fueran mucho más legibles que los del Prolog estándar". Si bien afirmó que tenía "muchas buenas características", afirmó que "el estilo Turbo Pascal de Turbo Prolog en su compilador y la fuerte tipificación de datos... crean un problema de identidad para el lenguaje". Al describirlo como "Turbo Paslog", el autor concluyó que "no lo recomienda si está considerando seriamente convertirse en un programador de Prolog". ^[10] La revista en 1989 incluyó a Turbo Prolog 2.0 entre los ganadores de la "Distinción" de los Premios BYTE, aprobando cómo Borland había "desarrollado un sistema para la programación de aplicaciones del mundo real". ^[11]

• Thomas W. de Boer, Guía para principiantes de Visual Prolog
  • Traducción al chino
• Eduardo Costa, Visual Prolog para Tyros
  • traducción al ruso
  • Traducción al chino
• Giovanni Torrero, PRÓLOGO VISUAL PER PRINCIPIANTI Italiano 113 páginas (pdf)
• Randall Scott, Una guía para la inteligencia artificial con Visual Prolog, ISBN  978-1-4327-4936-1

• Comparación de implementaciones de Prolog
• Charla de registro
• Mercurio (lenguaje de programación)
• Sintaxis y semántica de Prolog

• Sitio web oficial