A (possibly faulty) Julia implementation of Logical Boltzmann Machines, as proposed by Tran and Garcez.
Disclaimer: This project was made in the context of a university seminar to better understand and play with the ideas presented in the paper above and also to improve my Julia skills. It may not correctly represent the contents of the publication. I am not affiliated with the authors in any way.
You can find some more information in examples/README.md.