Ejemplo MDI LPO

%hechos
matriculado("Juan","Calculo III").
matriculado("Juan","Matemáticas discretas").
matriculado("Pedro", "Calculo II").
matriculado("Ana","Calculo III").
matriculado("Erika","Calculo II").
dicta("Efrain","Calculo III").
dicta("Carlos","Matemáticas discretas").
dicta("Duberney", "Calculo II").

%reglas
dicta(P,S) & matriculado(E,S)=> profesorDe(P,E) .

%Consulta a probar
profesorDe(X,"Juan") => $ans(X).