I’ve been tinkering with using scryer prolog as a python library via maturin bindings https://github.com/philzook58/scryerpy . We can run some examples showing how the above predicates work
Жители Кубы вышли на ночные протесты с кастрюлями01:06。关于这个话题，新收录的资料提供了深入分析
。新收录的资料对此有专业解读
Кардиолог раскрыла опасное влияние смены сезонов на сердце и сосуды07:40
选举期间外出的选民，可以书面委托本社区其他选民代为投票。每一选民接受的委托不得超过三人。候选人不得接受委托投票。居民选举委员会应当公布委托人和受托人的名单。采取居民代表选举方式的，不实行委托投票。，这一点在新收录的资料中也有详细论述