Prolog - Ayuda como resolver este enunciado en Prolog

Se desea implementar un sistema en prolog de juego de lógica que se tiene que resolver por deducción a partir de un conjunto de pistas. El objetivo es correlacionar una serie de propiedades que cumplen distintos elementos de nuestro dominio (Universo del discurso). La restricción a la que esta sujeto este juego es que dos elementos distintos de un mismo Universo no pueden tener la misma característica.

Enunciado: “Un alumno de informática, debido al nerviosismo del primer día de clase, ha anotado el nombre de sus profesores, Ignacio, Luis, Paco, las asignaturas que se imparten son: Algebra lineal, Calculo y Programación y el día de la semana de las distintas clases son lunes, miércoles y jueves, pero solo recuerda que:

· La clase de calculo, impartida por Ignacio es posterior a la de algebra lineal.

· A Paco no le gusta trabajar los lunes, día en el que no se imparte Algebra lineal.

¿Se puede ayudar a relacionar cada profesor con su asignatura, así como el día de la semana que se imparte? “Tomar en cuenta que cada profesor imparte una asignatura y que los días se dan en días diferentes.