aiddl-test.reasoning.logic.prolog.test.aiddl Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of aiddl-common-scala Show documentation

Provides common types and algorithm implementations for the fast prototyping integrative AI systems with the AIDDL framework.

The newest version!

(#mod self org.aiddl.test.reasoning.logic)

(#req EVAL org.aiddl.eval.namespace)
(#namespace E hashtag@EVAL)

(#req P org.aiddl.common.reasoning.logic.prolog)

(PrologKB@P KB
  {
    (#str-concat (#mod-folder $self) "./kb.prolog")
    (p c d)
  })

(PrologQuery@P query
  [
    (p ?A ?B)
  ])