Prolog


Búsquedas relacionadas con Prolog: lisp

prolog

s. m. INFORMÁTICA Lenguaje de programación basado en la lógica de predicados de primer orden utilizado para resolver problemas propios de la inteligencia artificial.

Prolog

 
inform. Lenguaje de alto nivel adaptado para la resolución de problemas relacionados con la inteligencia artificial.
Ejemplos ?
Se han desarrollado diversos lenguajes de programación orientados a la representación del conocimiento. Prolog, desarrollado en 1972, AAAI pero popularizado mucho después, representa proposiciones y lógica básica, y puede derivar conclusiones de premisas conocidas.
No son necesarias las conversiones de tipos, por lo tanto el siguiente ejemplo es correcto a = 2 //a es un entero cad = "prueba de texto" //cad es una cadena de caracteres resultado = cad + a //resultado es una cadena de caracteres (las conversiones dependen del lenguaje) Haskell ML Pauscal en español Python Ada Modula-2 Pascal Java Objective-C Go PHP (7) Smalltalk Lisp Perl PHP Prolog Basic Fuerte
Wilson: Knowledge Systems and Prolog, Second Edition, Addison-Wesley, 1990 by Randall Davis and others by Pejman Makhfi by Enrico Franconi, Faculty of Computer Science, Free University of Bolzano, Italy - a generic 3d knowledge representation system
Dendral XCon Dipmeter Advisor Mycin CADUCEUS R1 CLIPS, Jess Prolog La monitorización es un caso particular de la interpretación, y consiste en la comparación continua de los valores de las señales o datos de entrada y unos valores que actúan como criterios de normalidad o estándares.
JESS: un motor de reglas para la plataforma Java - es un superconjunto del lenguaje de programación CLIPS. Prolog: un idioma de programación lógica de propósito general.
Por otra parte, los lenguajes homoicónicos, tales como Lisp, Prolog, y Forth, retienen el poder de los macros de lenguaje ensamblador porque pueden manipular su propio código como datos.
Es un lenguaje lógico funcional que está basado en la programación declarativa pura, un lenguaje de propósito general que fue diseñado para resolver aplicaciones del «mundo real» de forma robusta; fue desarrollado por Fergus Henderson, Thomas Conway y Zoltan Somogyi en la universidad de Melbourne el 8 de abril de 1995; la sintaxis es parecida a la de Prolog y soporta polimorfismo.
ALGOL 68 C Caml Clean D Eiffel Go Haskell Java JavaScript Lisp Lua Mercury ML Modula-3 Oberon Oz Objective C 2.0 Pauscal Perl PHP Prolog Python Ruby Smalltalk SNOBOL SuperCollider Visual Basic.NET Conteo de referencias Fuga de memoria (en inglés) (en inglés)
El determinismo en Mercury se define mediante categorías usando estos predicados: Categorías Número de Soluciones det 1 semidet =1 multi =1 nondet =0 failure 0 Es un lenguaje que, comparado con Prolog, es más puramente declarativo puesto que carece de declaraciones «extra-lógicas» como «poda» y E/S imperativa.
Esto es obligado en algunos lenguajes de programación en los que no se maneja el concepto de memoria. Por ejemplo, en lenguajes declarativos como Lisp o Prolog.
X = 3 //Queremos 3!, por lo tanto X inicial es 3 X = 2 - return 3 factorial(2); X = 2 //Ahora estamos solicitando el factorial de 2 X = 2 - return 2 factorial(1); X = 1 // Ahora estamos solicitando el factorial de 1 X return 1; En este punto tenemos el factorial de 1 por lo que volvemos marcha atrás resolviendo todos los resultados return 2 return 6 // El resultado devuelto es 6 Algoritmo implementado en el lenguaje Prolog: fact(0,1):-!.
En términos lógicos representa la siguiente implicación:: (mujer(A) and padre(B, A)) to hija(A, B) Por definición de implicación se obtiene la siguiente cláusula de Horn:: lnot mujer(A) or lnot padre(B, A) or hija(A, B) Obsérvese que, en PROLOG, el símbolo:- separa la conclusión de las condiciones.