Prolog - LOGICA DE PREDICADOS

Hola me urge ayuda estudio el sexto semestre de Ing.Sistemas y necesito un programa que me resuelva problemas relacionados a la LOGICA DE PREDICADOS helppppp

Estudiaste en la EBC

Si estudie en la bancaria.

Tu tambien estudiaste en la EBC

En que periodo estudiaste en la EBC

hola , bueno me gustaria saber mas sobre logica de predicados y en especial ejercicios resueltos y para resolver .... muchas gracias por la atencionnn

p ∨ q
∼(p∨r)/∴ q

q∧∼s
p→(r∧s)/∴∼p

(p∨q)→r
p∧s
q/∴r


p∧∼q
p→∼r
q∨∼s/∴∼(r∨s)

Espero que me mandes el archivo lógica de predicados
gracias.