New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

WIP: FOL rules (horn subset) #118

Draft

cmungall wants to merge 1 commit into master from horn-rules-issue-102

Contributor

cmungall commented Sep 1, 2020

No description provided.


          Highly Experimental: horn rule subset of FOL axioms, see #102

9be64db

Member

jamesaoverton commented Sep 1, 2020

I guess this is Prolog. Can you point to instructions so that I could try running it?

jamesaoverton marked this pull request as draft

September 2, 2020 17:40

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet