Prolog - Ayuda: Juego Lógico

Necesito un ejemplo en Prolog de un juego lógico del estilo de los que salen en las revistas. Sí, de esos que se resulven por medio de un cuadro en el que se relacionan propiedades dadas en el enunciado. Me sería de gran ayuda, gracias.