Hi,
I’m a software developer (usually writing haskell), which became recently very interested in logic programming. I understand the concepts in the prolog world (what you can find in books) fairly well, but I lack the habits, and the familiarity with the environment that would make me a productive prolog programmer.
As I imagine I’m not the only one in this situation, I’m looking for a study partner to tackle some more advanced project with; currently my focus is on how to improve the type_check library (I’m not sure it has inference for lambdas from the yall pack), and how to write more immediate debugging tools.
ping me if you are interested (I speak english/italian)