SoloCodigo
Programación Específica => Otros temas específicos => Programación Lógica => Mensaje iniciado por: El nuevo en Jueves 24 de Abril de 2003, 00:41
-
: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:
-
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
-
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
-
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!