search

potassco / clorm

🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner
https://clorm.readthedocs.io
MIT License
52 stars 5 forks source link

Add more info to FactBase.asp_str() commented export #45

Closed daveraja closed 3 years ago

daveraja commented 3 years ago

When exporting to a string from a FactBase with comments FactBase.asp_str(commented=True) it should be able to export a more useful description of the predicate definition with the argument names.

daveraja commented 3 years ago

Will now produce a predicate name and parameter names (instead of name and arity). Will be in a 1.2.2 release