INFORME

ARBOL GENEALOGICO:
CODIGO DEL PROGRAMA estructurafisi.pl:

%================================================

% ESPECIFICACION DE HECHOS

%================================================

apoya(consejo_de_facultad, comisiones_permanentes).

apoya(consejo_de_facultad, comisiones_transitorias).

es_controlado(decanato, oficina_de_planificacion_presupuesto_y_racionalizacion).

es_controlado(decanato, oficina_de_tecnologia_educativa).

es_controlado(decanato, oficina_de_estadistica_e_informatica).

es_controlado(decanato, oficina_de_coordinacion_curricular).

es_controlado(direccion_academica,

unidad_de_matricula_registros_academicos_grados_y_titulos).

es_controlado(direccion_academica, unidad_de_bienestar).

es_controlado(direccion_academica,

unidad_de_biblioteca_hemeroteca_y_centro_de_documentacion).

es_controlado(direccion_academica,

unidad_de_asesoria_y_orientacion_al_estudiante).

es_controlado(direccion_administrativa, unidad_de_personal).

es_controlado(direccion_administrativa, unidad_de_economia).

es_controlado(direccion_administrativa,

unidad_de_servicios_generales_operaciones_y_mantenimiento).

es_controlado(direccion_administrativa, unidad_de_impresiones_y_publicaciones).

es_controlado(direccion_administrativa, unidad_de_tramite_documentario).

es_controlado(decanato, direccion_academica).
es_controlado(decanato, direccion_administrativa).

es_controlado(decanato, eap_de_ingenieria_de_sistemas).

es_controlado(decanato, centro_de_extension_y_proyeccion_social).

es_controlado(decanato, instituto_de_investigaciones).

es_controlado(decanato, unidad_de_postgrado).

es_controlado(decanato,departamento_academico_de_ciencias_de_la_computacion).

%================================================

% ESPECIFICACION DE REGLAS

%================================================

a_cargo(X,Y) :- es_controlado(Y,X).

controla_a(X,Y) :- es_controlado(Y,X).

es_apoyado(X,Y) :- apoya(Y,X).

apoya_a(X,Y) :- apoya(X,Y).

maximo_organo(X,Y) :- es_controlado(X,Z),es_controlado(Z,Y).

maximo_organo(X,Y) :- es_controlado(X,Y).

mismo(X,X).

diferente(X,Y) :- \+(mismo(X,Y)).

organos_hermanos(X,Y) :- es_controlado(Z,X),es_controlado(Z,Y),diferente(X,Y).
PRUEBAS DEL PROGRAMA: