Programacion lógica скачать в хорошем качестве

Programacion lógica

00:10 Prolog 00:37 SWISH Prolog 01:10 Hechos (ejemplo de Fido y Firulais) 02:09 Ejecución (consultas) de un programa en Prolog 03:40 Variables en Prolog 04:29 Variables singleton 05:20 Reglas 06:28 Operador AND ',' 06:52 Consultas sobre reglas en la base de conocimientos 07:44 Modelo de ejecución de Prolog 07:58 Unificación 09:18 Ejecución de una consulta en Prolog 09:30 Ejemplo 1 10:00 Ejemplo 2 10:20 Ejemplo 3 10:37 Consultas con variables 11:03 Consultas que involucran reglas 11:37 Unificación con reglas 12:00 Ejecución recursiva de reglas 13:07 Resultados no intuitivos 15:11 Operador cut '!' 16:23 Ejecución de reglas con más de un predicado en el cuerpo 17:33 Ejecución de consultas sobre reglas que involucran variables 19:51 Operador OR ';' 20:26 Uso de AND y OR en una consulta 20:53 Operador '\+' (similar al NOT) 21:20 Aritmética y operador 'is' 21:56 Ejemplo Fibonacci 30:01 Listas en Prolog 30:30 Operador '|'