LKR_project A project describing and factorizing Structural Information Theory using Prolog. You will find a PDF explaining the content of this project at the root.