Существует известная логическая "Загадка Эйнштейна" про пять домов с мужиками.
https://ru.wikipedia.org/wiki/%D0%97%D0%B0%D0%B3%D0%B0%D0%B4%D0%BA%D0%B0_%D0%AD%D0%B9%D0%BD%D1%88%D1%82%D0%B5%D0%B9%D0%BD%D0%B0
Пролог очень красиво себя показывает в решении подобных вещей. Вы описываете ему факты и правила, а он сам находит ответ.
Вот пример решения этой загадки на прологе. В Examples выбираете запрос и нажимаете run.
https://swish.swi-prolog.org/example/houses_puzzle.pl
pongo /
npub178…nl3c0
2025-05-01 16:06:16
Author Public Key
npub178mlft48fkfdesz367zrumxc7fzpy4vv38dy93drf800f90m8yjqcnl3c0Seen on
wss://relay.nostr.bandPublished at
2025-05-01 16:06:16Event JSON
{
"id": "a47732c78089d669797faa4919349dde0616a3c03e5e2cd2aace6a372d4a7040",
"pubkey": "f1f7f4aea74d92dcc051d7843e6cd8f24412558c89da42c5a349def495fb3924",
"created_at": 1746115576,
"kind": 1,
"tags": [
[
"proxy",
"https://mastodon.ml/users/pongo/statuses/114433430391675899",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.mostr.pub"
]
],
"content": "Существует известная логическая \"Загадка Эйнштейна\" про пять домов с мужиками.\nhttps://ru.wikipedia.org/wiki/%D0%97%D0%B0%D0%B3%D0%B0%D0%B4%D0%BA%D0%B0_%D0%AD%D0%B9%D0%BD%D1%88%D1%82%D0%B5%D0%B9%D0%BD%D0%B0\n\nПролог очень красиво себя показывает в решении подобных вещей. Вы описываете ему факты и правила, а он сам находит ответ.\n\nВот пример решения этой загадки на прологе. В Examples выбираете запрос и нажимаете run.\nhttps://swish.swi-prolog.org/example/houses_puzzle.pl",
"sig": "a5aaa243bc09bda8923b30cc48628bade01a0b27b5ce45f257a98f424d5edade96c9c6ed168dbd2f5833caa392d66db6c2c9ec4ca0ee8ca454de895e5ae31e04"
}