hola jimena,
el programa lo puedes hacer muy pero muy sencillo, los predicados en prolog se hacen mediante una regla, y se apoya en hechos, entonces luego que se este ejecutando el prolog tu le haces preguntas hacerca de ese predicado ejemplo:
imaginemos un examen sobre los paises y las capitales:
%los hechos son:%
capital(bogota,colombia).
capital(buenosAires,argentina).
capital(madrid,españa).
entonces tu compilas y cargas ese programita y le preguntas luego:
?: capital(bogota,colombia).
te va a decir YES por que esta en los hechos.
?: capital(madrid,colombia).
te va decir que no por que no esta en los hechos.
un ejemplo donde uses reglas podria ser:
%los hechos son:%
hermano(pedro,jorge).
hermano(pedro,feliz).
papa(pedro,pedrito).
papa(pedro,rosa).
papa(jorge,eduardo).
papa(jorge,isabell).
papa(jorge,kiko).
papa(feliz,alguien).
%las reglas son:%
tio(X,Y):-hermano(X,Z),papa(Z,Y).
hermano(Z,Y):-papa(X,Z),papa(X,Y).
hijo(X,Y):-papa(Y,X).
entonces tu preguntas por la primera parte de la regla y el de dira, ejemplo:
?: tio(pedro,eduardo).
te va decir que si,
?: tio(feliz,perdo).
te va a decir que no.
estas respuestas las puedes usar desde programas hechos en otros lenguajes ejemplo java, para este uso, el prolog te da una libreria que te lo permite.