Решение Загадки Эйнштейна на Прологе — какая красота! https://swish.swi-prolog.org/example/houses_puzzle.pl

в Examples выбираете запрос и нажимаете run