Подсчет элементов динамического списка и оценка решения (Пролог)

Созданный мной предикат работает некорректно. Предикат должен подсчитывать элементы всех фактов в базе данных и «оценивать» их. (Позже я объясню, что я имею в виду под «оценкой»)

Например. факты таковы:

:- dynamic listitem /1.
listitem(number).
listitem(letter).
listitem(word).
listitem(sentence).

Первый созданный мной предикат собирает все факты в один список:

members(W) :- bagof(X,listitem(X),W).

Теперь я хочу посчитать элементы в списке. Итак, я создал общий предикат для подсчета:

count([],0).
count([_|L],N) :- count(L,N1), N is N1+1.

Мое следующее предположение не работает должным образом. Этот предикат должен подсчитать все элементы приведенных выше фактов.

count_members(U) :- one_list([bagof(X,listitem(X),_W)],U).

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

?- count([number,letter,word,sentence],N) 

поскольку факты могли измениться.

И последний шаг, который вообще не работает, потому что мой последний предикат неверен, должен быть следующим: Написание пролога all_members (X) должно возвращать оценку. Например. Пролог должен возвращать «X = четыре элемента» для запроса «all_members (X)», если количество элементов в базе данных равно 4. Надеюсь, вы поняли мою проблему. Опять же, предикат, который я ищу, - это «all_members (X)». Другие созданные мной предикаты должны помочь мне в создании самого предиката.

Буду очень рад, если вы поможете мне найти решение моей проблемы! (иначе я не смогу сегодня заснуть ...) Спасибо !!

РЕДАКТИРОВАТЬ:

Извините, я забыл написать свое определение для one_list. Моя мысль заключалась в том, чтобы, например, список выглядит так:

 [[number], [letter], [word]] 

в список следующего вида:

[number, letter, word, list]

one_list(X,[X]) :- \+ is_list(X).
one_list([],[]).
one_list([X|Xs],Zs) :- one_list(X,Y), one_list(Xs,Ys), append(Y,Ys,Zs).