pyDatalog 中的静态输入：可能吗？

Question

例如，使用 mypy 库，可以指定函数输入一个字符串并输出一个字符串，如下所示：

def greeting(name: str) -> str:
    return 'Hello, {}'.format(name)

在 pyDatalog 中，可以一次定义（比如说）一个一元函数一个值，如下所示：

+(favoriteWords[0] == "cats")

是否有某种方法可以指定 favoriteWords 的参数必须是单个整数，并且输出必须是字符串？

Answer 1

不幸的是，pyDatalog 目前不支持此功能。