{'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'], [], []), ('2022/05/23 05:04', ['autocompile'], [], []), ('2022/05/31 08:59', ['autocompile'], [], []), ('2022/06/03 02:33', ['autocompile'], [], []), ('2022/06/05 20:18', ['autocompile'], [], []), ('2022/06/06 21:06', ['autocompile'], [], []), ('2022/06/07 03:36', ['autocompile'], [], []), ('2022/06/09 23:09', ['autocompile'], [], []), ('2022/06/11 03:09', ['autocompile'], [], []), ('2022/06/12 05:25', ['autocompile'], [], []), ('2022/06/13 00:14', ['autocompile'], [], []), ('2022/06/26 13:38', ['autocompile'], [], []), ('2022/06/28 11:28', ['autocompile'], [], []), ('2022/06/29 03:28', ['autocompile'], [], []), ('2022/06/30 03:07', ['autocompile'], [], []), ('2022/07/02 10:48', ['autocompile'], [], []), ('2022/07/05 10:12', ['autocompile'], [], []), ('2022/07/07 21:37', ['autocompile'], [], []), ('2022/07/08 15:57', ['autocompile'], [], []), ('2022/07/08 16:05', ['autocompile'], [], []), ('2022/07/09 03:44', ['autocompile'], [], []), ('2022/07/10 09:20', ['autocompile'], [], []), ('2022/07/12 04:42', ['autocompile'], [], []), ('2022/07/16 01:51', ['autocompile'], [], []), ('2022/07/19 08:21', ['autocompile'], [], []), ('2022/07/21 23:21', ['autocompile'], [], []), ('2022/07/22 05:55', ['autocompile'], [], []), ('2022/07/25 19:15', ['autocompile'], [], []), ('2022/07/26 09:53', ['autocompile'], [], []), ('2022/07/29 09:16', ['autocompile'], [], []), ('2022/08/03 06:42', ['autocompile'], [], []), ('2022/08/04 15:26', ['autocompile'], [], []), ('2022/08/11 14:12', ['autocompile'], [], []), ('2022/08/12 01:04', ['autocompile'], [], []), ('2022/08/18 08:05', ['autocompile'], [], []), ('2022/08/23 07:02', ['autocompile'], [], []), ('2022/08/24 14:39', ['autocompile'], [], []), ('2022/08/31 14:47', ['autocompile'], [], []), ('2022/09/05 18:52', ['autocompile'], [], []), ('2022/09/06 23:07', ['autocompile'], [], []), ('2022/09/09 07:57', ['autocompile'], [], []), ('2022/09/10 11:50', ['autocompile'], [], []), ('2022/09/10 22:07', ['autocompile'], [], []), ('2022/09/13 02:56', ['autocompile'], [], []), ('2022/09/13 05:34', ['autocompile'], [], []), ('2022/09/16 07:23', ['autocompile'], [], []), ('2022/09/20 15:37', ['autocompile'], [], []), ('2022/09/22 14:11', ['autocompile'], [], []), ('2022/09/24 06:36', ['autocompile'], [], []), ('2022/09/25 23:53', ['autocompile'], [], [])]