Learning Prolog: rozwiązywanie schematu krzyżówki

Wymuś Prologowi wybranie unikalnych wartości zmiennych

OK, jestem nowy w Prologu, więc przepraszam, jeśli jest to coś trywialnego, ale nie mogę znaleźć odpowiedniej eleganckiej odpowiedzi na to pytanie. Próbuję o...