prob

Author: cmungall

index.html

@@ -128,7 +128,9 @@ <h3>Integrations</h3>
               with <a href="https://py-typedlogic.github.io/py-typedlogic/integrations/solvers/souffle/">datalog
               engines</a>, <a href="https://py-typedlogic.github.io/py-typedlogic/integrations/solvers/clingo/">answer-set
               programming</a>, <a href="https://py-typedlogic.github.io/py-typedlogic/integrations/solvers/z3/">theorem
-              provers</a>, and <a href="https://py-typedlogic.github.io/py-typedlogic/integrations/frameworks/owldl/owldl-tutorial/">OWL-DL</a></p>
+                  provers</a>,  <a href="https://py-typedlogic.github.io/py-typedlogic/integrations/frameworks/owldl/owldl-tutorial/">OWL-DL</a>,
+                and <a href="https://py-typedlogic.github.io/py-typedlogic/tutorial/03-probabilistic-logic/">Probablistic Logic</a>
+              </p>
             </div>
         </div>