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. 😞
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
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
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.
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.