Programación Lógica by Cesar Omar Andrade Mendez https://padlet.com/csrsound97/fr3pzr5ku7kszeof en-us 2020-12-16 16:04:22 UTC 2024-05-26 01:45:02 UTC hello@padlet.com Claúsulas de Horn csrsound97 https://padlet.com/csrsound97/fr3pzr5ku7kszeof/wish/1025040682 Una cláusula de Horn es una secuencia de literales que contiene a lo sumo un literal positivo.
Al escribirla en notación de Kowalski tendrá una de estas cuatro formas:]]> 2020-12-16 17:54:58 UTC https://padlet.com/csrsound97/fr3pzr5ku7kszeof/wish/1025040682 SLD Resoluión csrsound97 https://padlet.com/csrsound97/fr3pzr5ku7kszeof/wish/1025080566 Selection-rule driven Linear resolution for Definite clauses 
Es un caso particular de la resolución general, donde:
Los resolventes son siempre objetivos.
Los programas son conjuntos de claúsulas (de Horn) definidas,
i.e., hechos y reglas.
Hay una función de selección que selecciona un átomo del resolvente a quien aplicar resolución.]]> 2020-12-16 18:03:32 UTC https://padlet.com/csrsound97/fr3pzr5ku7kszeof/wish/1025080566 Programación lógica csrsound97 https://padlet.com/csrsound97/fr3pzr5ku7kszeof/wish/1025107317 El resto de los subparadigmas de programación dentro de la programación declarativa son: programación funcional, programación basada en restricciones, programas DSL (de dominio específico) e híbridos. ]]> 2020-12-16 18:09:23 UTC https://padlet.com/csrsound97/fr3pzr5ku7kszeof/wish/1025107317 Programación Lógica csrsound97 https://padlet.com/csrsound97/fr3pzr5ku7kszeof/wish/1025108349 La programación lógica es un tipo de paradigmas de programación dentro del paradigma de programación declarativa.]]> 2020-12-16 18:09:37 UTC https://padlet.com/csrsound97/fr3pzr5ku7kszeof/wish/1025108349 Ejemplo Cláusula de Horn csrsound97 https://padlet.com/csrsound97/fr3pzr5ku7kszeof/wish/1025293593 En Prolog Se escribe primero el consecuente luego el antecdente]]> 2020-12-16 18:51:48 UTC https://padlet.com/csrsound97/fr3pzr5ku7kszeof/wish/1025293593 Tabla de Verdad csrsound97 https://padlet.com/csrsound97/fr3pzr5ku7kszeof/wish/1025402240 2020-12-16 19:17:16 UTC https://padlet.com/csrsound97/fr3pzr5ku7kszeof/wish/1025402240 Lógica Proposicional csrsound97 https://padlet.com/csrsound97/fr3pzr5ku7kszeof/wish/1025405800 También llamada lógica de enunciados: toma como elemento básico las frases declarativas simples o proposiciones. Su estructura está dada por: ]]> 2020-12-16 19:18:09 UTC https://padlet.com/csrsound97/fr3pzr5ku7kszeof/wish/1025405800 csrsound97 https://padlet.com/csrsound97/fr3pzr5ku7kszeof/wish/1025424423 2020-12-16 19:22:43 UTC https://padlet.com/csrsound97/fr3pzr5ku7kszeof/wish/1025424423 csrsound97 https://padlet.com/csrsound97/fr3pzr5ku7kszeof/wish/1025440524 2020-12-16 19:26:21 UTC https://padlet.com/csrsound97/fr3pzr5ku7kszeof/wish/1025440524 csrsound97 https://padlet.com/csrsound97/fr3pzr5ku7kszeof/wish/1025446353 2020-12-16 19:27:44 UTC https://padlet.com/csrsound97/fr3pzr5ku7kszeof/wish/1025446353 csrsound97 https://padlet.com/csrsound97/fr3pzr5ku7kszeof/wish/1025450669 2020-12-16 19:28:48 UTC https://padlet.com/csrsound97/fr3pzr5ku7kszeof/wish/1025450669 C1,C2,⋯,Cl csrsound97 https://padlet.com/csrsound97/fr3pzr5ku7kszeof/wish/1025485487  Donde la cláusula superior" 
C1, es una cláusula de entrada, y cada otra cláusula 
Ci+1 es una solución de cuyos padres es la cláusula anterior 
Ci. La prueba es una refutación si la última cláusula Cl, es la cláusula vacía.]]> 2020-12-16 19:37:29 UTC https://padlet.com/csrsound97/fr3pzr5ku7kszeof/wish/1025485487