All Downloads are FREE. Search and download functionalities are using the official Maven repository.
  • Log In
  • Register

    • .logics.ml.1.17.source-code.examplebeliefbase2.mlogic Maven / Gradle / Ivy

    There is a newer version: 1.6
    Show newest version
    type(A)
type(B)

(<>(A||B))<=>((<>(A)||<>(B)))
<>(-)
<>(A)&&([](B))




    © 2015 - 2025 Weber Informatics LLC | Privacy Policy