PCIC — Notas de clase
Search
Buscar
Modo oscuro
Modo claro
Modo lector
Explorador
prolog
9 artículos con esta etiqueta.
01 oct 2026
2026-09-22 IA - logica de primer orden
clase
inteligencia-artificial
logica-primer-orden
inferencia
resolucion
unificacion
skolemizacion
prolog
01 oct 2026
2026-09-24 IA - CNF
clase
inteligencia-artificial
representacion-conocimiento
ontologias
web-semantica
planificacion
strips
planes-parcialmente-ordenados
prolog
repaso-examen
26 sept 2026
Backtracking en Prolog
concepto
programacion
prolog
backtracking
programacion-logica
26 sept 2026
Corte (cut) en Prolog
concepto
programacion
prolog
backtracking
programacion-logica
26 sept 2026
Negación como falla
concepto
programacion
prolog
logica
programacion-logica
26 sept 2026
Prolog
concepto
inteligencia-artificial
prolog
programacion-logica
26 sept 2026
Resolución SLD
concepto
inteligencia-artificial
prolog
resolucion-sld
clausulas-horn
26 sept 2026
2026-09-08 ProgAv - Resolucion y metas en Prolog
clase
programacion-avanzada
programacion-logica
prolog
resolucion
clausulas-horn
26 sept 2026
2026-09-10 ProgAv - Hechos, unificación, backtracking y corte en Prolog
clase
programacion-avanzada
programacion-logica
prolog
unificacion
backtracking
corte