All Downloads are FREE. Search and download functionalities are using the official Maven repository.

ject.logics.ml.1.27.source-code.examplebeliefbase2.mlogic Maven / Gradle / Ivy

Go to download

type(A)
type(B)

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