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) ) . 

И выход был:
[()]

0 ответов

Другие вопросы по тегам