Xadrez - Algoritmo em prolog para o Horse Ride( Passeio do cavalo)

Dado um tabuleiro de xadrez N × N e um cavalo em uma casa de coordenadas (x, y), deseja-se saber se possível que o cavalo faca um percurso visite todas as casas exatamente uma vez. O cavalo se move saltando três casas em forma de L.

Já vi algumas implementações em outras linguagens, porem estou com dificuldades em prolog, não consigo fazer funcionar.