8000 Metagol cannot handle negation in interpreted BK · Issue #12 · metagol/metagol · GitHub

More Web Proxy on the site http://driver.im/

This repository was archived by the owner on Sep 21, 2021. It is now read-only.

Metagol cannot handle negation in interpreted BK #12

Open

andrewcropper opened this issue Aug 3, 2018 · 0 comments

Assignees

Labels

bug

Contributor

andrewcropper commented

It cannot interpret non-logical symbols such as +call(F,H).

andrewcropper added the bug label

andrewcropper self-assigned this

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

0