Basic primitives for logical reasoning in Scala
Repository from Github https://github.comsebdumancic/ScaLogRepository from Github https://github.comsebdumancic/ScaLog