Programación Específica > Programación Lógica

 Re: Informacion, antecedentes etc

(1/1)

El nuevo:
:jumpie:  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 :gracias:

Iluvatarm:
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:
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
:gracias:

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!

Navegación

[0] Índice de Mensajes