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

Write a user manual for P-log #3

Closed iensen closed 4 years ago

iensen commented 6 years ago

Write a user manual (similar to SPARC)

iensen commented 4 years ago

Already there: https://github.com/iensen/plog2.0/tree/master/Manual (even though might need some improvement)