{'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.user(4).choice(7).choice(8).choice(6).choice(5).user(2).user(1).user(3).
[['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/03/26 19:36', ['Noa', 'autocompile'], ['Pleasant Tongue', 'Verdant Beamish'], ['Cold Walk', 'Living Hope', 'Lush Scepter', 'Peaceful Stallion']), ('2022/04/03 21:21', ['autocompile'], [], []), ('2022/04/08 04:11', ['autocompile'], [], []), ('2022/04/14 03:42', ['autocompile'], [], []), ('2022/04/14 05:08', ['autocompile'], [], []), ('2022/04/15 14:11', ['autocompile'], [], []), ('2022/04/18 03:35', ['autocompile'], [], []), ('2022/04/23 07:04', ['autocompile'], [], []), ('2022/04/27 01:46', ['autocompile'], [], []), ('2022/04/27 03:00', ['autocompile'], [], []), ('2022/04/27 21:11', ['autocompile'], [], []), ('2022/04/29 05:14', ['autocompile'], [], []), ('2022/04/30 05:38', ['autocompile'], [], []), ('2022/05/04 18:54', ['autocompile'], [], []), ('2022/05/06 06:47', ['autocompile'], [], []), ('2022/05/12 04:50', ['autocompile'], [], []), ('2022/05/13 05:24', ['autocompile'], [], []), ('2022/05/15 03:23', ['autocompile'], [], []), ('2022/05/18 03:42', ['autocompile'], [], []), ('2022/05/19 04:04', ['autocompile'], [], []), ('2022/05/20 12:25', ['autocompile'], [], []), ('2022/05/21 06:10', ['autocompile'], [], [])]