Autor Tema: Re: Informacion, antecedentes etc (Leído 3137 veces)

El nuevo · « **en:** Jueves 24 de Abril de 2003, 00:41 »

Que hay ?? como les va??? Oigan soy nuevo en esto, estoy cursando una materia que se llama Logica matematica y tengo que conseguir informacion acerca de la programacion logica (antecedentes, utilidad, etc) y un programa que me permita conocer el valor de verdad de las proposiciones que ponga el usuario, utilizando el metodo de resolucion, si alguien tiene algo de esto o sabe donde conseguirlo se los agradacere mucho... Gracias

Iluvatarm · « **Respuesta #1 en:** Lunes 28 de Abril de 2003, 12:23 »

Prueba con Sicstus Prolog, tiene un entorno bastante completo y puedes ver en todo momento las reglas aplicables, los conocimientos (la base de hechos)...

Por lo de la información, ahora busco algo, quizá te pueda ayudar

hasta luego

El nuevo · « **Respuesta #2 en:** Jueves 1 de Mayo de 2003, 23:21 »

Hola Iluvatarm ! gracias por tu ayuda, justo ahora estoy utilizando el Amzi Prolog Logic Server 6.2.13, el Sicstus Prolog que tu mencionas, presenta mayor facilidad de uso ?? o por lo menos ayuda acercade los comandos ?? porque que en realidad yo soy principante en esto.. me encantaria que tuviera una ayuda como la de C++ Builder... gracias y hasta luego

Iluvatarm

Pues me temo que no... la verdad es que para aprender prolog me vi obligado a usar manuales y 'perder' tiempo buscando por internet...

De todas maneras, si alguien conoce algun entorno bueno con un Help potente, puede ponerlo

Si usas Windows y no necesitas aprender prolog standard, te puedes submergir en Visual prolog 6.0. Tiene una ayuda potente pero... está orientado a objetos, y la verdad es que no he podido investigar como está la integración OO

Suerte!