prolog

Cuando quiero leer sobre programación lógica siempre me tropiezo con dos formas "principales" de hacerlo hoy en día: min ... amente diferentes a la programación lógica? ¿De qué ramas de las matemáticas provienen y cuáles son los fundamentos teóricos?

He estado leyendo muchos artículos tratando de entender la diferencia entre la programación funcional y la lógica, pero la ún ... ón lógica. Realmente apreciaría que se arrojara algo de luz sobre la diferencia entre la programación funcional y la lógica.

He empezado a aprender Prolog y a preguntarme sobre la diferencia teórica con el lenguaje SQL. Por ejemplo: ambos son le ... ón de datos con estilo de pregunta ambos soportan dependencias funcionales Más puntos en común? ¿Alguna diferencia notable?

¿Qué tipo de problemas se resuelven mejor en Prolog que en Haskell? ¿Cuáles son las principales diferencias entre estos dos ... mas? Editar ¿Hay una biblioteca Haskell (una especie de solucionador lógico) que pueda imitar la funcionalidad de Prolog?

Hay un número limitado de jugadores y un número limitado de canchas de tenis. En cada ronda, puede haber como máximo tantos ... cias tan pequeñas como 7 jugadores. (Esto es de una vieja pregunta de examen. Nadie con quien hablé tenía ninguna solución.)

Cuando estaba hojeando algunas preguntas relacionadas con prolog recientemente, me topé con esta respuesta de @mat para pre ... 2 y get_attr/2. Así que incluso este caso de uso muy superficial requiere algún capa de emulación (de una manera u otra).

Estoy trabajando en una aplicación en Java, que necesita hacer algunas deducciones complejas de reglas lógicas como parte de ... iterios anteriores se adaptarían a mis necesidades, demasiado. ¿Qué opciones tengo y cuáles son sus ventajas y desventajas?

Empiezo a aprender Prolog y primero aprendí sobre la notación sucesora. Y aquí es donde me entero de escribir axiomas Peano ... eí la otra respuesta en bucle infinito. Pero agradecería que alguien respondiera basándose en este escenario. Me ayuda mucho.

Esta no es una pregunta de tarea, más bien una pregunta de guía de estudio del examen. ¿Cuál es la diferencia entre la coinci ... a principal no se refiere a los ejemplos anteriores, sino más bien a una comprensión completa de la diferencia entre los dos.

Cómo escribir de una manera estándar conforme avs_term_rearranged(AVs, T, AVsR) con AVs y T dado tal que AVsR es una permutac ... t(L, K), L == K. Como ejemplo: ?- avs_term_rearranged(['A'=A,'B'=B,'C'=C], A+C+F+B, AVsR). AVsR = ['A'=A,'C'=C,'B'=B].

En ISO la unificación Prolog se define solo para aquellos casos que son NSTO (no sujetos a occurs-check). La idea detrás es ... ueda por hacer es la distinción entre falla NSTO y casos de error STO. Ahí es donde las cosas empiezan a ponerse difíciles...

different(Xs, Ys) :- member(X, Xs), non_member(X, Ys). different(Xs, Ys) :- member(Y, Ys), non_member(Y, Xs). M ... ]) tiene éxito. También podría fallar. Por lo tanto, una solución que falla para ambos está bien (tal vez incluso más fina).

Soy un desarrollador de Python desde hace mucho tiempo y recientemente se me ha introducido a Prolog. Me encanta el concepto ... ontré lo siguiente: Jtauber's blog series on relatial_python Me encantaría comparar con algunos otros...¡Gracias! - aj

El predicado if_/3 parece ser bastante popular entre los pocos contribuyentes principales en la parte Prolog de Stack Overfl ... use este predicado y proporcione poca explicación de por qué se usa, que un no experto en Prolog podría entender fácilmente.

Ahora, desde que tomé una clase hace 3 años en IA, soy lo suficientemente competente para hacer esta pregunta......solo brome ... stigadores de IA usarían para hacer aprendizaje automático, etc. Cualquier artículo / libro sobre el tema también es útil:)

Necesito empezar a aprender Prolog para mi trabajo. No he usado Prolog antes y mi empresa necesita construir un programa que ... años. Estoy pensando en usando el Prolog.el paquete? ¿Algún comentario al respecto? Muchas gracias por cualquier respuesta,

Estaba resolviendo un rompecabezas en prolog el otro día y me di cuenta de que si estuviera usando otro lenguaje de programac ... las características de rendimiento de una tabla hash, o la interfaz agregaría gastos generales que reducirían el rendimiento?

¿Alguien conoce una buena (y preferiblemente gratuita) manera de integrar Prolog y C#? Estoy buscando crear una dll Prolog ... olog en el mundo real, pero me preguntaba si alguien tenía alguna experiencia con c# y Prolog. o un bonito tutorial/artículo?

Tengo un interés en jugar y fuxing con prolog, he instalado el swi-prolog y añadido el repositorio, por si alguien está inter ... minal para compilar. ¿Puedo usar vim para escribir prolog? ¿Cómo compilo o uso el intérprete prolog (creo que así se llama)?

Me he encontrado con un poco desconocido de sintaxis Prolog en el documento de Lee Naish Programación lógica de orden superio ... endo algo mal). ¿Alguien lo reconoce? ¿es correcta mi hipótesis? ¿Qué intérprete de Prolog acepta eso como sintaxis válida?