{'1': ['6', '8', '7'], '2': ['6', '5'], '3': ['6', '8', '7'], '4': ['5']}<br/>{'Pierre': '1', 'David': '2', 'Noémie': '3', 'Noa': '4'}<br/>{'Méléas': '5', 'Éléa': '6', 'Haringer': '7', 'Ina': '8'}<br/><br/>Encoding:
<code>                   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,6).ok(1,8).ok(1,7).ok(2,6).ok(2,5).ok(3,6).ok(3,8).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).</code><br/>[['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'], [], []), ('2023/01/28 05:24', ['autocompile'], [], []), ('2023/02/02 14:39', ['autocompile'], [], []), ('2023/02/03 19:12', ['autocompile'], [], []), ('2023/02/03 20:39', ['autocompile'], [], []), ('2023/02/05 05:17', ['autocompile'], [], []), ('2023/02/09 21:12', ['autocompile'], [], []), ('2023/02/17 09:19', ['autocompile'], [], []), ('2023/02/22 19:01', ['autocompile'], [], []), ('2023/02/24 20:10', ['autocompile'], [], []), ('2023/02/25 17:10', ['autocompile'], [], []), ('2023/03/02 03:26', ['autocompile'], [], []), ('2023/03/02 22:08', ['autocompile'], [], []), ('2023/03/03 19:18', ['autocompile'], [], []), ('2023/03/05 22:55', ['Noémie'], [], []), ('2023/03/05 22:56', ['autocompile'], [], []), ('2023/03/07 03:15', ['autocompile'], [], []), ('2023/03/07 03:16', ['autocompile'], [], []), ('2023/03/09 23:21', ['autocompile'], [], []), ('2023/03/18 09:16', ['autocompile'], [], []), ('2023/03/18 20:40', ['autocompile'], [], []), ('2023/03/19 02:30', ['autocompile'], [], []), ('2023/03/19 02:35', ['autocompile'], [], []), ('2023/03/19 17:11', ['autocompile'], [], []), ('2023/03/22 11:46', ['autocompile'], [], []), ('2023/03/30 03:37', ['autocompile'], [], []), ('2023/03/31 20:11', ['autocompile'], [], []), ('2023/04/02 05:46', ['autocompile'], [], []), ('2023/04/05 14:23', ['autocompile'], [], []), ('2023/04/07 02:35', ['autocompile'], [], []), ('2023/04/09 05:05', ['autocompile'], [], []), ('2023/04/10 02:23', ['autocompile'], [], []), ('2023/04/18 11:23', ['autocompile'], [], []), ('2023/04/19 13:48', ['autocompile'], [], []), ('2023/04/20 13:16', ['Pierre'], [], []), ('2023/04/24 00:17', ['autocompile'], [], []), ('2023/04/24 19:09', ['autocompile'], [], []), ('2023/04/27 03:03', ['autocompile'], [], []), ('2023/05/05 18:50', ['autocompile'], [], []), ('2023/05/07 21:42', ['autocompile'], [], []), ('2023/05/09 00:04', ['autocompile'], [], []), ('2023/05/11 10:41', ['autocompile'], [], []), ('2023/05/13 21:43', ['autocompile'], [], []), ('2023/05/17 16:01', ['autocompile'], [], []), ('2023/05/18 12:41', ['autocompile'], [], []), ('2023/05/23 08:26', ['autocompile'], [], []), ('2023/05/24 04:20', ['autocompile'], [], []), ('2023/05/27 04:09', ['autocompile'], [], []), ('2023/05/28 04:57', ['autocompile'], [], []), ('2023/05/31 08:44', ['autocompile'], [], []), ('2023/05/31 15:25', ['autocompile'], [], []), ('2023/06/01 16:20', ['autocompile'], [], []), ('2023/06/06 03:44', ['autocompile'], [], [])]