PCIC — Notas de clase
Search
Buscar
Modo oscuro
Modo claro
Modo lector
Explorador
unificacion
3 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
26 sept 2026
Unificación
concepto
inteligencia-artificial
logica-primer-orden
unificacion
26 sept 2026
2026-09-10 ProgAv - Hechos, unificación, backtracking y corte en Prolog
clase
programacion-avanzada
programacion-logica
prolog
unificacion
backtracking
corte