Как составить неповторяющийся список факторов в ПРОЛОГЕ

#prolog

#пролог

Вопрос:

У меня есть факты о

 homea(1, 0). homeb(2, 0). homec(1, 4).  

как составить список по порядку с непостоянными фактами и контролируемым количеством? результат может понравиться:

 ?- list(L, 3). L = [1, 0, 2]  ?- list(L, 4). L = [1, 0, 2, 4]  

Комментарии:

1. Пожалуйста, подробно объясните, как эти результаты должны быть получены на основе этих фактов. Затем мы можем помочь вам перевести это объяснение в Пролог.