Readme
Issues
Stargazers
Watchers

Explicit unificator

gciatto opened this issue 2 years ago · 0 comments

gciatto commented 2 years ago

explicit unificator in Theory
explicit unificator in Solver

Related to #293

Topics

prolog logic-programming kotlin kotlin-multiplatform kotlin-multi-platform tuprolog 2p java jvm javascript js symbolic simbolic-ai

Share to

Contact site admin: Geeks.