Ai :: PROLOG :: Introducción AI :: PROG :: Introducción El módulo PERL contiene lo que y el por qué de la programación lógica.
Descargar ahora

Ai :: PROLOG :: Introducción Clasificación y resumen

Ai :: PROLOG :: Introducción Etiquetas

programación Módulo perl lógica Programación lógica prólogo introducción

Ai :: PROLOG :: Introducción Descripción

AI :: PROG :: Introducción El módulo Perl contiene lo que y el por qué de la programación lógica. AI :: PROG :: Introducción El módulo PERL contiene lo que y el por qué de la programación lógica. Puede omitir esto si ya conoce la programación de lógica. Nota que la mayoría de esto se sacó de mi escritura sobre la programación lógica en PERL en HTTP: //www.perlmonks.org/?node_id=424075.in Perl, generalmente puede agregar una lista a otra con esta: My @z = (@x, @y); Sin embargo, eso está diciendo el idioma qué hacer. Como seres sensibles, podemos ver eso e inferir más información. Dado @z y @x, podríamos inferir a @y. Dado solo @z, podríamos inferir todas las combinaciones de @x y @y que se pueden combinar para formar @ z.perl no pueden hacer eso. Sin embargo, en la programación de lógica, al definir qué se parece a la Anexa (), obtenemos toda esa otra información. En Prolog, se ve así: Anexar ([], x, x). Anexar (, y, ): - Anexar (x, y, z). (En realidad, a menudo hay algo llamado un "corte" después de la primera definición, pero lo mantendremos así. ) Lo que dice el código anterior es "Añadir una lista vacía a una lista que no se produce la lista no vacía". Esta es una condición de límite. Los programas lógicos con frecuencia requieren un análisis cuidadoso de las condiciones de contorno para evitar los bucles infinitos (similar a la forma en que las funciones recursivas en PERL generalmente deben tener una condición de terminación definida en ellas). La segunda línea es donde se hace la mayor parte del trabajo. En prólogo, para identificar la cabeza (primer elemento) de una lista y su cola (todos los elementos excepto los primero), usamos la sintaxis . Dado que ": -" se lee como "Si" en Prolog, lo que dice esto si queremos concatenar (A, B, C) y (D, E, F): Dada una lista con una cabeza de W y una cola de X: @ list1 = qw / abc /; (qw / a / es w, la cabeza, y qw / bc / es x, la cola) si se adjunta a listar y: @y = qw / def /; obtenemos una lista con una cabeza de w y una cola de Z: @ list2 = qw / abcdef /; solo si x se adjunta a y formas z: x es qw / bc /. Y es qw / d e f /. Z es qw / b c d e f /. Requisitos: · Perl

Ai :: PROLOG :: Introducción Software relacionado