ztangent/Julog.jl

A Julia package for Prolog-style logic programming.

语言：Julia · GitHub 星标：179 · Fork：11

话题：first-order-logic · fol · julia · logic · logic-programming · prolog

在 GitHub 上查看原仓库