Site hosted by Angelfire.com: Build your free website today!

http://leuzor.cjb.net

Colabora Leuzor

Barra de Comandos
Página PrincipalAtrásIr al Principio de la páginaDocumentación Enlaces... Acerca de LeuzorBuscar en la Web Firmar el Libro de VisitasMira a quienes ya firmaronComentarios y Sugerencias

La información contenida ha sido recopilada de la web. Vea la fuente de la información.

INTRODUCCION

En Octubre de 1981, el gobierno japonés y más concretamente el Ministerio Japonés de Comercio Internacional e Industria (MITI), anuncia la puesta en marcha de un proyecto revolucionario equiparable a la carrera del espacio norteamericana. Están dispuestos a ofrecer al mundo la siguiente generación, la Quinta Generación de Ordenadores. Unas máquinas de Inteligencia Artificial que pueden pensar, sacar conclusiones, emitir juicios e incluso comprender las palabras escritas y habladas.
Con este fin se crea el ICOT (Institute for New Generation Computer Technology) constituido por cuarenta brillantes investigadores de las más importantes empresas, y se les dota con todos los medios necesarios para construir la nueva clase de supercomputadoras.

El papel del PROLOG.
La Quinta Generación prevé máquinas diseñadas para el tratamiento lógico, de capacidades análogas a las capacidades de anteriores generaciones de ordenadores para tratar operaciones aritméticas. Se trata de ordenadores que tienen el PROLOG como lenguaje nativo (lenguaje máquina), con capacidad para procesar millones de inferencias lógicas por segundo (LIPS).

 

EN LA ACTUALIDAD VISUAL PROLOG

Desarrollo visual para aplicaciones GUI

Con Visual Prolog  ahora es más facil que nunca escribir aplicaciones gráficas de óptima calidad. Usted diseña y pinta sus interfases de usuario en vez de programarlas. Los "Códigos de expertos" harán todo lo trivial y mucho de lo complicado para usted! Puede crear una nueva aplicación funcional en unos pocos minutos y paso a paso mejorarla desde un prototipo a su aplicación final.

Seguro y Rápido

Visual Prolog cumple las demandas profesionales por velocidad, rendimiento y seguridad. Produce un compacto, rápido y altamente optimizado código nativo de máquina comparable a un compilador C.

Portable

En adición a esto, su aplicación no esta atada a un sistema operacional o a una plataforma gráfica. Con Visual Prolog (Version Professional) usted puede escribir aplicaciones portátiles a través de plataformas Windows 3.x, 95/98, NT y OS/2. y las aplicaciones commandline (como los scripts CGI) son portatiles a través de DOS, win95/98, NT, OS/2, SCO UNIX, Linux !

 

WIN-PROLOG es el sistema de compi- lación lider para los PC's basados en Win- dows. Prolog es un poderoso lenguaje AI que ofrece un alto nivel y un entorno pro- ductivo basado en inferencia lógica.

 WIN-PROLOG es el producto central en una serie de herramientas para progra- mación para Windows NT, 95 y 3.1; la serie incluye tambien Flex, Prolog +, The Portable Prolog Manager, y The ProData Database Interface Toolkit. Estos produc- tos tienen acceso a toda la memoria dis- ponible para Windows sin ninguna res- tricción. La serie para Windows usa compilación incremental de programas de usuario para proveer la velocidad de ejecución de un compilador, pero con el comportamiento interactivo de un intérprete. La optimización del compilador permite múltiples argumentos de indexación para códigos estáticos.

 WIN-PROLOG comparte el mismo motor de inferencia de 32-bit y arquitectura como LPA DOS-PROLOG y LPA MacProlog32 y es muy cercanamente compatible tanto con ISO Prolog y con Quintus Prolog para Unix. Posee una poderosa interface bi-direccional DLL que permite accesar código escrito en C, C++, Pascal, etc., y un configurable DDE para conectar con otras aplicaciones (Escel, Word, Visual Basic, etc) WIN-PROLOG incluye un atractivo ambiente de desarrollo multiventanas, depurador interactivo de fuente nivel, editor integrado y alto nivel de acceso a funciones Windows GDI.

Flex es un poderoso sistema experto caja de herramientas, con marcos, casos, reglas, relaciones. preguntas, herencia múltiple, set de reglas dinámico y completo acceso a Prolog. Flex contiene su propio Knowledge Specification Language (KSL), aunque las reglas y los marcos son definidos en lenguaje natural.

 

Tutoriales

http://cbl.leeds.ac.uk/~tamsin/prologtutorial/
Un tutorial básico de prolog en ingles.
http://edison.ucting.udg.mx/tutorial/prolog/index.htm
Tutorial de Prolog (en español), que cubre las bases de Turbo-Prolog.
http://witss.gdl.iteso.mx/ady/siexp/prolog.htm
Un buen tutorial (en ingles) que cubre las partes básicas del interprete de prolog para la DEC-10 (basado en el Edinburgh prolog), y algunos ejemplos.
http://www.cs.cmu.edu/Groups/AI/html/faqs/lang/prolog/prg/top.html
FAQ Algunas respuestas a preguntas comunes sobre prolog, compilado por Mark Kantrowitz.
http://www.informatik.uni-trier.de/~ley/db/prolog/
Varios documentos acerca de la historia de Prolog, así como papers sobre la implementación de un interprete de prolog.

 

COMPILADORES

http://prolog.isac.co.jp/jipl/jipl_e.html
Una interfase que conecta a Java con un compilador de Prolog.

http://www.cad.mse.kyutech.ac.jp/people/zhou/bprolog.html
B-Prolog es un interprete de línea de comando disponible para múltiples plataformas como Windows, Unix y  Linux, altamente optimizado, qué sigue el modelo de Edinburgh Prolog y Prolog II e incorpora a su vez un subconjunto de los predicados dictados por el estándar de ISO.

Strawberry Prolog http://www.dobrev.com/download.html

Strawberry Prolog es un interprete de Prolog para Windows, que agrega capacidades de programación bajo ambiente windows al prolog, permitiendo que éste manipule gráficos y ventanas. Sin embargo, la sintaxis es algo diferente al prolog clásico, y viene con muy pocos ejemplos, la mayor parte demostrando como utilizar sus capacidades bajo windows. Se puede bajar libremente la versión Lite, pero hay que pagar por la versión profesional.

DGKS Prolog http://www.geocities.com/SiliconValley/Campus/7816/

 

Una maquina virtual de prolog escrita en Java, con un ambiente de ejecución y desarrollo integrado (IDE). Todavía no implemtenta algunos predicados, como manejo de archivos y entrada/salida.

GNU Prolog http://pauillac.inria.fr/~diaz/gnu-prolog/

El compilador de Prolog de GNU. Tiene buen desempeño, e incluye tanto compilador como interprete interactivo. Además, cumple con el estándar ISO de prolog. Solo soporta Linux, Solaris y SunOS.

Logtalk http://www.ci.uc.pt/logtalk/logtalk.html

Logtalk es una versión de prolog que agrega características de orientación por objetos a Prolog. Parte del propio compilador está escrita en prolog, por lo que se necesita disponer previamente de un compilador de prolog para compilarlo.

SWI Prologhttp://www.swi.psy.uva.nl/projects/SWI-Prolog/http://www.swi.psy.uva.nl/projects/SWI-Prolog/

SWI es un interprete de línea de comando pequeño y rápido y cuya maquina interna puede ser anidada en otros programas. El interprete se distribuye bajo la licencia GPL. Corre bajo los ambientes de Windows y Unix/Linux.

 

XSB Prolog http://www.cs.sunysb.edu/~sbprolog/xsb-page.html

XSB es un interprete de línea de comando que ha sido portado a múltiples plataformas, y que ofrece un conjunto importante de optimizaciones y características. Así mismo, ofrece interfaces a C, ODBC y Java.

 

RECURSOS

http://www.informatik.uni-trier.de/~labisch/lp/free_prolog.shtml
Lista de interpretes gratis de prolog, Sin embargo, muchos de los links no funcionan (han desaparecido ya). Es de notar que algunos de los interpretes aquí nombrados no son realmente interpretes puros de prolog, sino  variedades de éste, como interpretes de lenguajes lógico-relacionales.
http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/0.html
Otra lista de interpretes de prolog
http://www.cetus-links.org/oo_prolog.html
Cetus-links: Una pagina con una breve descripción de prolog, seguida de muchos enlaces a tutoriales, ejemplos, demos, repositorios, otras paginas con enlaces, artículos, bibliografias, etc.
http://infm.ulst.ac.uk/~jgc/book/prolog.html
Más enlaces a otras páginas de prolog.

 

Grupo de Interés de Prolog ABRIR
Universidad EAFIT
ESPAÑOL

Free Prolog Implementations ABRIR
Thomas Labisch
INGLES
Prolog ABRIR
DBLP Bibliography
INGLES

SICStus Prolog User's Manual ABRIR
Swedish Institute of Computer Science
INGLES

 

 

 


 

¿Que te pareció este artículo? me gustaria que me mandes tu comentarios o colabores con más información
http://leuzor.cjb.net
Barra de Comandos
Página Principal Atrás Ir al Principio de la página Documentación   Enlaces...   Acerca de Leuzor Buscar en la Web   Firmar el Libro de Visitas Mira a quienes ya firmaron Comentarios y Sugerencias