-
Notifications
You must be signed in to change notification settings - Fork 30
Issues: opencog/ure
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
The hyperlink to the term unifier in the README leads nowhere.
#128
opened Sep 5, 2023 by
gl-yziquel
Fix replacement example inference tree expansion
bug
Something isn't working
#80
opened May 7, 2020 by
ngeiswei
2 tasks
Rule::unify_source method execution takes about 30% of ForwardChainer execution time
enhancement
New feature or request
#54
opened Dec 27, 2019 by
vsbogd
Replace specialized/incomplete type intersection code in unifier by TypeSetLink
#20
opened Nov 15, 2018 by
ngeiswei
ProTip!
What’s not been updated in a month: updated:<2024-07-25.