GitHub - LukasZahradnik/PyNeuraLogic: PyNeuraLogic lets you use Python to create Differentiable Logic Programs

Logic programming is a declarative coding paradigm in which you declare your logical variables and relations between them. These can be further composed into so-called rules that drive the computation. Such a rule set then forms a logic program, and its execution is equivalent to performing logic inference with the rules. PyNeuralogic, through its NeuraLogic backend, then makes this inference proc

[misshiki]

“PyNeuraLogicを使用すると、Pythonを使用して微分可能な論理プログラムを作成できます”