core-logic

Ludger Solbach 2023-11-22T21:19:58.946829Z

I really find the documentation of core.logic bad. There's not a single docstring in the pldb namespace and in the other namespaces it's also not rosy. 😞

Antoine Zimmermann 2024-03-28T11:37:39.851919Z

i just read your answer, this is a commendable initiative, feel free to @ me here if i can lend a hand in review or something

Ludger Solbach 2024-03-28T15:35:55.539119Z

Currently I'm a bit short on time to really work on it. But I forked core.logic and created a branch for changes. I added docstrings in the pldb ns and have started to replace use with require in the namespace declarations to better see, where the logic functions come from. That's pretty much underway, but maybe the docstring changes for pldb could be cherry picked. https://github.com/lsolbach/core.logic/tree/refactoring/require-instead-of-use

Antoine Zimmermann 2023-12-04T16:01:59.179329Z

i had the same issue, you should try to take a look at the tests, they provide a nice picture of what is possible with this tool.

Ludger Solbach 2023-12-04T18:03:35.769819Z

I signed a Clojure Contribution Agreement and I will try to provide at least some more docstrings. I have cloned core.logic already and added docstrings to most of pldb and some in other namespaces. They might be a bit generic, because I'm not (yet) familiar with the implementation details of core.logic. As time permits, I'll provide the neccessary patches.