{'1': ['8', '6', '7'], '2': ['6', '5'], '3': ['8', '6', '7'], '4': ['5']}
{'Pierre': '1', 'David': '2', 'Noémie': '3', 'Noa': '4'}
{'Méléas': '5', 'Éléa': '6', 'Haringer': '7', 'Ina': '8'}

Encoding: 1 { assoc(H, P): choice(P), ok(H,P) } 1 :- user(H). 1 { assoc(H, P): user(H), ok(H,P) } 1 :- choice(P).ok(1,8).ok(1,6).ok(1,7).ok(2,6).ok(2,5).ok(3,8).ok(3,6).ok(3,7).ok(4,5).#show. #show assoc/2.choice(7).user(2).choice(8).user(1).choice(5).user(4).user(3).choice(6).
[['2022/02/12 19:42', ['David', 'Noa', 'Noémie', 'Pierre', 'autocompile'], ['Cold Walk', 'Living Hope', 'Lush Scepter', 'Peaceful Stallion'], []], ['2022/02/12 19:43', ['autocompile'], [], []], ['2022/02/12 19:43', ['Pierre'], [], ['Cold Walk', 'Lush Scepter']], ['2022/02/14 04:14', ['David', 'Noa', 'Noémie', 'Pierre', 'autocompile'], ['Cold Walk', 'Living Hope', 'Lush Scepter', 'Peaceful Stallion'], []], ['2022/02/14 04:39', ['David', 'Noa', 'Noémie', 'Pierre', 'autocompile'], ['Cold Walk', 'Living Hope', 'Lush Scepter', 'Peaceful Stallion'], []], ['2022/02/14 11:57', ['autocompile'], [], []], ['2022/02/14 18:26', ['David', 'Noa', 'Noémie', 'Pierre', 'autocompile'], ['Cold Walk', 'Living Hope', 'Lush Scepter', 'Peaceful Stallion'], []], ['2022/03/15 22:41', ['David', 'Noa', 'Noémie', 'Pierre', 'autocompile'], ['Cold Walk', 'Living Hope', 'Lush Scepter', 'Peaceful Stallion'], []], ['2022/03/16 11:23', ['autocompile'], [], []], ['2022/03/18 09:39', ['autocompile'], [], []], ['2022/03/22 11:28', ['Pierre'], [], []], ['2022/03/22 11:30', ['autocompile'], [], []], ['2022/03/22 16:42', ['Noémie'], [], []], ['2022/03/24 07:43', ['autocompile'], [], []], ('2022/11/17 14:37', ['David', 'Noa', 'Noémie', 'Pierre', 'autocompile'], ['Pleasant Tongue', 'Verdant Beamish'], []), ('2022/11/20 05:37', ['autocompile'], [], []), ('2022/11/21 13:25', ['autocompile'], [], []), ('2022/11/21 22:04', ['autocompile'], [], []), ('2022/11/26 20:32', ['autocompile'], [], []), ('2022/11/28 00:04', ['autocompile'], [], []), ('2022/11/30 06:12', ['autocompile'], [], []), ('2022/12/04 23:16', ['autocompile'], [], []), ('2022/12/10 18:41', ['autocompile'], [], []), ('2022/12/16 08:28', ['autocompile'], [], []), ('2022/12/18 10:38', ['autocompile'], [], []), ('2022/12/21 13:45', ['autocompile'], [], []), ('2022/12/23 06:58', ['autocompile'], [], []), ('2022/12/31 04:15', ['autocompile'], [], []), ('2023/01/01 04:03', ['autocompile'], [], []), ('2023/01/02 21:33', ['autocompile'], [], []), ('2023/01/06 14:21', ['autocompile'], [], []), ('2023/01/10 23:35', ['autocompile'], [], []), ('2023/01/20 12:07', ['autocompile'], [], []), ('2023/01/26 02:06', ['autocompile'], [], [])]