Agregar unidad Proyectos Finales — 4 proyectos multi-paradigma con código base

Cada proyecto integra 3 capas: Prolog declarativo + Erlang/OTP o Clojure + Haskell/Elixir.
Dominios: trámites IMSS, horarios TecNM (CLP/FD), monitor IoT CENAPRED, inventario SAT/CFDI.
README incluye motivación con 30 casos de uso reales en producción (WhatsApp, Nubank, SAT, etc.).

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01KTRqGqphqyi8y1XAcWXoFE

Author: IoTeacher

proyectos_finales/README.md

@@ -0,0 +1,71 @@
+# Proyecto 1 — Sistema de Validación de Trámites IMSS
+
+## Descripción
+
+El IMSS gestiona trámites de millones de derechohabientes: inscripción, incapacidades,
+pensiones, guardería, préstamos. Cada trámite tiene requisitos de elegibilidad distintos
+(semanas cotizadas, vigencia, edad, núcleo familiar). Este proyecto construye el
+motor de validación en tres capas.
+
+---
+
+## Dominio
+
+| Trámite | Requisitos clave |
+|---------|-----------------|
+| `incapacidad_temporal` | Vigencia activa + semanas_cotizadas ≥ 4 |
+| `pension_invalidez` | semanas_cotizadas ≥ 150 + dictamen médico |
+| `guarderías` | Hijo registrado + madre/padre trabajador vigente |
+| `prestamo_imss` | semanas_cotizadas ≥ 52 + sin adeudo previo |
+| `atencion_medica` | Solo vigencia activa |
+
+---
+
+## Arquitectura
+
+```
+capa1/validador_imss.pl     ← reglas de elegibilidad (Prolog)
+capa1/restricciones.pl      ← CLP(FD): límites numéricos de semanas/edad
+capa1/tests_imss.pl         ← plunit: 15+ casos de prueba
+
+capa2/derechohabiente.erl   ← GenServer: estado de cada derechohabiente
+capa2/tramite_server.erl    ← GenServer: cola de trámites pendientes
+capa2/imss_sup.erl          ← Supervisor one_for_one
+
+capa3/Reporte.hs            ← tipos algebraicos + generación de reporte
+```
+
+---
+
+## Ejecutar
+
+```bash
+# Capa 1 — tests Prolog
+swipl -g "run_tests(imss), halt" -l capa1/tests_imss.pl
+
+# Capa 1 — interactivo
+swipl -l capa1/validador_imss.pl
+?- puede_tramitar(garcia_lopez, incapacidad_temporal, R).
+?- falta_requisito(perez_ruiz, prestamo_imss, Falta).
+
+# Capa 2 — compilar y arrancar Erlang
+cd capa2 && erlc *.erl
+erl -eval "imss_sup:start_link(), timer:sleep(2000), halt()"
+
+# Capa 3 — compilar Haskell
+cd capa3 && ghc -o reporte Reporte.hs && ./reporte
+```
+
+---
+
+## Entregables
+
+1. `capa1/` — validador con CLP(FD), tests todos pasando
+2. `capa2/` — OTP arrancando: supervisor + al menos 2 GenServers
+3. `capa3/` — Haskell compilando y generando reporte en consola
+4. Este `README.md` actualizado con tus decisiones de diseño
+
+## Crédito extra
+
+Conectar capa 1 y capa 2: el `tramite_server` llama a SWI-Prolog vía puerto
+(`open_port({spawn, "swipl ..."}, [...])`) antes de aprobar cada trámite.

proyectos_finales/proyecto1_tramites_imss/README.md

@@ -0,0 +1,28 @@
+:- module(restricciones, [semanas_validas/1, edad_pension/1, monto_prestamo/2]).
+:- use_module(library(clpfd)).
+
+%% semanas_validas/1 — semanas_validas(?S) is nondet
+%% S es un número de semanas cotizadas válido (0..2080 = 40 años × 52 semanas)
+semanas_validas(S) :-
+    S in 0..2080.
+
+%% edad_pension/1 — edad_pension(?Edad) is nondet
+%% Edad mínima para pensión por vejez según IMSS (60–65 años)
+edad_pension(Edad) :-
+    Edad in 60..65.
+
+%% monto_prestamo/2 — monto_prestamo(+SemanasCotizadas, -MontoMaximo) is det
+%% El monto máximo de préstamo IMSS escala con semanas cotizadas.
+%% Restricción CLP(FD): MontoMaximo = SemanasCotizadas * 100 (simplificado)
+monto_prestamo(Semanas, Monto) :-
+    semanas_validas(Semanas),
+    Monto #= Semanas * 100,
+    Monto in 0..500000.
+
+%% semanas_para_pension/2 — semanas_para_pension(+SemanasCotizadas, -Faltan) is det
+%% Cuántas semanas faltan para alcanzar el mínimo de pensión por invalidez (150)
+semanas_para_pension(Semanas, Faltan) :-
+    semanas_validas(Semanas),
+    Minimo = 150,
+    Faltan #= max(0, Minimo - Semanas),
+    label([Faltan]).

proyectos_finales/proyecto1_tramites_imss/capa1/restricciones.pl

@@ -0,0 +1,76 @@
+:- use_module(validador_imss).
+:- use_module(restricciones).
+:- use_module(library(plunit)).
+
+:- begin_tests(imss).
+
+% ── vigencia ────────────────────────────────────────────────
+test(vigencia_activa_ok) :-
+    vigencia_activa('12345678901').
+
+test(vigencia_inactiva_falla, [fail]) :-
+    vigencia_activa('34567890123').
+
+% ── atención médica ─────────────────────────────────────────
+test(atencion_medica_vigente) :-
+    puede_tramitar('12345678901', atencion_medica, ok).
+
+test(atencion_medica_sin_vigencia) :-
+    puede_tramitar('34567890123', atencion_medica, error(vigencia_inactiva)).
+
+% ── incapacidad temporal ─────────────────────────────────────
+test(incapacidad_suficientes_semanas) :-
+    puede_tramitar('12345678901', incapacidad_temporal, ok).
+
+test(incapacidad_pocas_semanas) :-
+    puede_tramitar('34567890123', incapacidad_temporal, error(vigencia_inactiva)).
+
+test(incapacidad_vigente_pero_pocas_semanas) :-
+    puede_tramitar('23456789012', incapacidad_temporal, ok).
+
+% ── pensión por invalidez ────────────────────────────────────
+test(pension_cumple_todo) :-
+    puede_tramitar('78901234567', pension_invalidez, ok).
+
+test(pension_sin_dictamen) :-
+    puede_tramitar('45678901234', pension_invalidez, error(sin_dictamen_medico)).
+
+test(pension_pocas_semanas) :-
+    puede_tramitar('23456789012', pension_invalidez,
+                   error(semanas_insuficientes(38, minimo_150))).
+
+% ── guarderías ──────────────────────────────────────────────
+test(guarderias_con_hijo) :-
+    puede_tramitar('12345678901', guarderias, ok).
+
+test(guarderias_sin_hijo) :-
+    puede_tramitar('67890123456', guarderias, error(sin_hijo_registrado)).
+
+% ── préstamo IMSS ────────────────────────────────────────────
+test(prestamo_cumple_requisitos) :-
+    puede_tramitar('67890123456', prestamo_imss, ok).
+
+test(prestamo_con_adeudo) :-
+    puede_tramitar('34567890123', prestamo_imss, error(vigencia_inactiva)).
+
+test(prestamo_pocas_semanas) :-
+    puede_tramitar('23456789012', prestamo_imss,
+                   error(semanas_insuficientes(38, minimo_52))).
+
+% ── restricciones CLP(FD) ────────────────────────────────────
+test(semanas_validas_rango) :-
+    semanas_validas(S), S in 0..2080.
+
+test(monto_prestamo_calculado) :-
+    monto_prestamo(52, Monto),
+    Monto =:= 5200.
+
+test(semanas_para_pension_calcula) :-
+    semanas_para_pension(38, Faltan),
+    Faltan =:= 112.
+
+test(semanas_para_pension_cero) :-
+    semanas_para_pension(200, Faltan),
+    Faltan =:= 0.
+
+:- end_tests(imss).

proyectos_finales/proyecto1_tramites_imss/capa1/tests_imss.pl

@@ -0,0 +1,115 @@
+:- module(validador_imss, [
+    puede_tramitar/3,
+    falta_requisito/3,
+    semanas_cotizadas/2,
+    vigencia_activa/1
+]).
+
+%% ============================================================
+%% BASE DE HECHOS — derechohabientes ficticios
+%% ============================================================
+
+%% derechohabiente/4 — derechohabiente(+NSS, +Nombre, +SemanasCotizadas, +Vigente)
+derechohabiente('12345678901', garcia_lopez,  260, true).
+derechohabiente('23456789012', perez_ruiz,     38, true).
+derechohabiente('34567890123', sanchez_vega,   10, false).
+derechohabiente('45678901234', martinez_hdz,  180, true).
+derechohabiente('56789012345', torres_reyes,    0, false).
+derechohabiente('67890123456', flores_cruz,    55, true).
+derechohabiente('78901234567', rodriguez_m,   152, true).
+
+%% hijo_registrado/2 — hijo_registrado(+NSS_Padre, +NSS_Hijo)
+hijo_registrado('12345678901', hijo_001).
+hijo_registrado('45678901234', hijo_002).
+
+%% adeudo_previo/1 — adeudo_previo(+NSS)
+adeudo_previo('34567890123').
+
+%% dictamen_medico/1 — dictamen_medico(+NSS)
+dictamen_medico('78901234567').
+
+%% ============================================================
+%% CONSULTAS AUXILIARES
+%% ============================================================
+
+%% vigencia_activa/1 — vigencia_activa(+NSS) is semidet
+vigencia_activa(NSS) :-
+    derechohabiente(NSS, _, _, true).
+
+%% semanas_cotizadas/2 — semanas_cotizadas(+NSS, -Semanas) is det
+semanas_cotizadas(NSS, Semanas) :-
+    derechohabiente(NSS, _, Semanas, _).
+
+%% ============================================================
+%% REGLAS DE ELEGIBILIDAD
+%% ============================================================
+
+%% puede_tramitar/3 — puede_tramitar(+NSS, +Tramite, -Resultado) is det
+%% Resultado = ok | error(Razon)
+
+puede_tramitar(NSS, atencion_medica, ok) :-
+    vigencia_activa(NSS), !.
+puede_tramitar(NSS, atencion_medica, error(vigencia_inactiva)) :-
+    \+ vigencia_activa(NSS).
+
+puede_tramitar(NSS, incapacidad_temporal, ok) :-
+    vigencia_activa(NSS),
+    semanas_cotizadas(NSS, S),
+    S >= 4, !.
+puede_tramitar(NSS, incapacidad_temporal, error(Razon)) :-
+    falta_requisito(NSS, incapacidad_temporal, Razon).
+
+puede_tramitar(NSS, pension_invalidez, ok) :-
+    vigencia_activa(NSS),
+    semanas_cotizadas(NSS, S),
+    S >= 150,
+    dictamen_medico(NSS), !.
+puede_tramitar(NSS, pension_invalidez, error(Razon)) :-
+    falta_requisito(NSS, pension_invalidez, Razon).
+
+puede_tramitar(NSS, guarderias, ok) :-
+    vigencia_activa(NSS),
+    hijo_registrado(NSS, _), !.
+puede_tramitar(NSS, guarderias, error(Razon)) :-
+    falta_requisito(NSS, guarderias, Razon).
+
+puede_tramitar(NSS, prestamo_imss, ok) :-
+    vigencia_activa(NSS),
+    semanas_cotizadas(NSS, S),
+    S >= 52,
+    \+ adeudo_previo(NSS), !.
+puede_tramitar(NSS, prestamo_imss, error(Razon)) :-
+    falta_requisito(NSS, prestamo_imss, Razon).
+
+%% ============================================================
+%% DIAGNÓSTICO DE REQUISITOS FALTANTES
+%% ============================================================
+
+%% falta_requisito/3 — falta_requisito(+NSS, +Tramite, -Razon) is nondet
+%% No determinista: puede generar múltiples razones
+
+falta_requisito(NSS, _, vigencia_inactiva) :-
+    \+ vigencia_activa(NSS).
+
+falta_requisito(NSS, incapacidad_temporal, semanas_insuficientes(S, minimo_4)) :-
+    semanas_cotizadas(NSS, S), S < 4.
+
+falta_requisito(NSS, pension_invalidez, semanas_insuficientes(S, minimo_150)) :-
+    semanas_cotizadas(NSS, S), S < 150.
+
+falta_requisito(NSS, pension_invalidez, sin_dictamen_medico) :-
+    vigencia_activa(NSS),
+    semanas_cotizadas(NSS, S), S >= 150,
+    \+ dictamen_medico(NSS).
+
+falta_requisito(NSS, guarderias, sin_hijo_registrado) :-
+    vigencia_activa(NSS),
+    \+ hijo_registrado(NSS, _).
+
+falta_requisito(NSS, prestamo_imss, semanas_insuficientes(S, minimo_52)) :-
+    semanas_cotizadas(NSS, S), S < 52.
+
+falta_requisito(NSS, prestamo_imss, adeudo_pendiente) :-
+    vigencia_activa(NSS),
+    semanas_cotizadas(NSS, S), S >= 52,
+    adeudo_previo(NSS).

proyectos_finales/proyecto1_tramites_imss/capa1/validador_imss.pl

@@ -0,0 +1,60 @@
+-module(derechohabiente).
+-behaviour(gen_server).
+
+-export([start_link/1, consultar/1, actualizar_semanas/2, estado/1]).
+-export([init/1, handle_call/3, handle_cast/2, terminate/2]).
+
+-record(estado, {
+    nss           :: binary(),
+    nombre        :: atom(),
+    semanas       :: non_neg_integer(),
+    vigente       :: boolean(),
+    tramites      :: [atom()]
+}).
+
+%% ── API pública ───────────────────────────────────────────────
+
+start_link(NSS) ->
+    gen_server:start_link(?MODULE, NSS, []).
+
+consultar(Pid) ->
+    gen_server:call(Pid, consultar).
+
+actualizar_semanas(Pid, NuevasSemanas) ->
+    gen_server:call(Pid, {actualizar_semanas, NuevasSemanas}).
+
+estado(Pid) ->
+    gen_server:call(Pid, estado).
+
+%% ── Callbacks OTP ────────────────────────────────────────────
+
+init(NSS) ->
+    Estado = #estado{
+        nss      = NSS,
+        nombre   = desconocido,
+        semanas  = 0,
+        vigente  = false,
+        tramites = []
+    },
+    {ok, Estado}.
+
+handle_call(consultar, _From, S = #estado{nss = NSS, semanas = Sem, vigente = V}) ->
+    Respuesta = #{nss => NSS, semanas => Sem, vigente => V},
+    {reply, {ok, Respuesta}, S};
+
+handle_call({actualizar_semanas, Nuevas}, _From, S) when Nuevas >= 0 ->
+    {reply, ok, S#estado{semanas = Nuevas}};
+handle_call({actualizar_semanas, _}, _From, S) ->
+    {reply, {error, semanas_negativas}, S};
+
+handle_call(estado, _From, S) ->
+    {reply, S, S};
+
+handle_call(_Req, _From, S) ->
+    {reply, {error, desconocido}, S}.
+
+handle_cast(_Msg, S) ->
+    {noreply, S}.
+
+terminate(_Razon, _S) ->
+    ok.

proyectos_finales/proyecto1_tramites_imss/capa2/derechohabiente.erl

@@ -0,0 +1,26 @@
+-module(imss_sup).
+-behaviour(supervisor).
+
+-export([start_link/0]).
+-export([init/1]).
+
+start_link() ->
+    supervisor:start_link({local, ?MODULE}, ?MODULE, []).
+
+init([]) ->
+    Estrategia = #{
+        strategy  => one_for_one,
+        intensity => 5,
+        period    => 10
+    },
+    Hijos = [
+        #{
+            id       => tramite_server,
+            start    => {tramite_server, start_link, []},
+            restart  => permanent,
+            shutdown => 5000,
+            type     => worker,
+            modules  => [tramite_server]
+        }
+    ],
+    {ok, {Estrategia, Hijos}}.