aprobada(X):- rendida(X).
aprobada(X):- promocionada(X).

puedeCursar(X):- not(aprobada(X)), not(regular(X)), (

% Plan de estudios.

puedeCursar(01).
puedeCursar(02).
puedeCursar(03).
puedeCursar(04).
puedeCursar(05).
puedeCursar(06).
puedeCursar(07).
puedeCursar(08).
puedeCursar(09).
puedeCursar(10):- regular(01), regular(02).
puedeCursar(11):- regular(01), regular(07).
puedeCursar(12):- regular(04), regular(05).
puedeCursar(13):- regular(03), regular(05).
puedeCursar(14):- regular(03), regular(05).
puedeCursar(15):- regular(03), regular(05), regular(06).
puedeCursar(16).
puedeCursar(17):- regular(01), regular(02).
puedeCursar(18):- regular(12), regular(14), aprobada(03), aprobada(04), aprobada(05).
puedeCursar(19):- regular(06), regular(10), regular(11), aprobada(01), aprobada(02), aprobada(07).
puedeCursar(20):- regular(10), aprobada(01), aprobada(02).
puedeCursar(21).
puedeCursar(22).
puedeCursar(23).
puedeCursar(24).
puedeCursar(25).
puedeCursar(26).
puedeCursar(27).
puedeCursar(28).
puedeCursar(29).
puedeCursar(30).
puedeCursar(31).
puedeCursar(32).
puedeCursar(33).
puedeCursar(34).
puedeCursar(35).

).

% Estado académico.

rendida(01).
promocionada(02).
promocionada(03).
promocionada(04).
promocionada(05).
regular(07).
rendida(08).
regular(09).
promocionada(10).
rendida(13).