search

iensen / plog2.0

A grounder and solver for P-log (A language combining non-monotonic logic with probabilities)
GNU General Public License v3.0
1 stars 1 forks source link

Implement sorts and typechecking #2

Open iensen opened 6 years ago

iensen commented 6 years ago

Design and implement sorts (adapt the syntax from SPARC: https://github.com/iensen/sparc/blob/master/User_Manual/Sparc_Manual.pdf?raw=true)