pyDatalog, как представить список и получить ответ истина / ложь, если элемент X принадлежит списку
Как я представляю дальше с pyDatalog.
belongs(X, [X|_]).
belongs(X, [_|Ys]):- belongs(X, Ys).
it_is(X):- belongs(X,[6,7,8,9,10,11,12,13,14,15]).
it_is(10).
true.
Я пытался так:
from pyDatalog import pyDatalog .
gpyDatalog.create_terms('belongs,it_is,X,Y') .
belongs(X) <= ( (X > 5) & (X < 16) ) .
it_is(X) <= belongs(X) .
print( it_is(10) ) .
И выход был:
[()]