search

ggrov / tinker

Graph based proof strategy language
http://ggrov.github.io/tinker/
6 stars 0 forks source link

Generate "clause-based" goal type #10

Closed ggrov closed 10 years ago

ggrov commented 10 years ago

Should allow to write new definition and support variables/matching/binding. Maybe make it Prolog base where communication between clauses is relational and based on variable instantiations.

ggrov commented 10 years ago

First version is done but require much more testing and integration with PSGraph.