Datalog query.

Molecule transforms custom boilerplate DSL constructs to Datomic queries in 3 steps:

Custom DSL molecule --> Model --> Query --> Datalog query

Internal Model representation of a molecule.

Molecule transforms custom boilerplate DSL constructs to Datomic queries in 3 steps:

Custom DSL molecule --> Model --> Query --> Datalog query

Internal Query representation of molecule.

Molecule transforms custom boilerplate DSL constructs to Datomic queries in 3 steps:

Custom DSL molecule --> Model --> Query --> Datalog query

Resolve input molecule by applying 3 groups of values, one for each of the 3 input attributes

// Input molecule awaiting 3 inputs for `profession`, `age` and `score`
val profAgeScore = m(Person.name.profession_(?).age_(?).score_(?))
for {
  // Sample data set
  Person.name.profession.age.score insert List(
    ("Ann", "doctor", 37, 1.0),
    ("Ben", "teacher", 37, 1.0),
    ("Joe", "teacher", 32, 1.0),
    ("Liz", "teacher", 28, 2.0)
  )

  // Apply 3 Seq of values, each matching one of the input attributes
  _ <- proOfAge(Seq("doctor"), Seq(37)).get.map(_ ==> List("Ann"))
  _ <- proOfAge(Seq("doctor", "teacher"), Seq(37, 32)).get.map(_.sorted ==> List("Ann", "Ben", "Joe"))

  // Number of arguments in each Seq don't have to match but can be asymmetric
  _ <- profAgeScore.apply(Seq("doctor"), Seq(37), Seq(1.0)).get.map(_ ==> List("Ann"))
  _ <- profAgeScore.apply(Seq("doctor", "teacher"), Seq(37), Seq(1.0)).get.map(_.sorted ==> List("Ann", "Ben"))
} yield ()

Resolve input molecule by applying 3 groups of expressions, one for each of the 3 input attributes

// Input molecule awaiting 3 inputs for `profession`, `age` and `score`
val profAgeScore = m(Person.name.profession_(?).age_(?).score_(?))
for {
  // Sample data set
  Person.name.profession.age.score insert List(
    ("Ann", "doctor", 37, 1.0),
    ("Ben", "teacher", 37, 1.0),
    ("Joe", "teacher", 32, 1.0),
    ("Liz", "teacher", 28, 2.0)
  )

  // Apply 3 expressions, one for each input attribute
  // [profession-expression] and [age-expression] and [score-expression]
  _ <- profAgeScore.apply("doctor" and 37 and 1.0).get.map(_ ==> List("Ann"))
  _ <- profAgeScore.apply(("doctor" or "teacher") and 37 and 1.0).get
    .map(_.sorted ==> List("Ann", "Ben"))

  _ <- profAgeScore.apply(("doctor" or "teacher") and (37 or 32) and 1.0).get
    .map(_.sorted ==> List("Ann", "Ben", "Joe"))

  _ <- profAgeScore.apply(("doctor" or "teacher") and (37 or 32) and (1.0 or 2.0)).get
    .map(_.sorted ==> List("Ann", "Ben", "Joe"))
} yield ()

Resolve input molecule by applying Seq of value triples

// Input molecule awaiting 3 inputs for `profession`, `age` and `score`
val profAgeScore = m(Person.name.profession_(?).age_(?).score_(?))
for {
  // Sample data set
  Person.name.profession.age.score insert List(
    ("Ann", "doctor", 37, 1.0),
    ("Ben", "teacher", 37, 1.0),
    ("Joe", "teacher", 32, 1.0),
    ("Liz", "teacher", 28, 2.0)
  )

  // Apply Seq of one or more value triples, each matching all 3 input attributes
  _ <- profAgeScore.apply(Seq(("doctor", 37, 1.0))).get.map(_ ==> List("Ann"))
  _ <- profAgeScore.apply(Seq(("doctor", 37, 1.0), ("teacher", 37, 1.0))).get.map(_.sorted ==> List("Ann", "Ben"))
} yield ()

Resolve input molecule by applying one or more triples of expressions, each matching the 3 input attributes

// Input molecule awaiting 3 inputs for `profession`, `age` and `score`
val profAgeScore = m(Person.name.profession_(?).age_(?).score_(?))
for {
  // Sample data set
  Person.name.profession.age.score insert List(
    ("Ann", "doctor", 37, 1.0),
    ("Ben", "teacher", 37, 1.0),
    ("Joe", "teacher", 32, 1.0),
    ("Liz", "teacher", 28, 2.0)
  )

  // Apply two or more triple expressions, each matching all 3 input attributes
  // [profession/age/score-expression] or [profession/age/score-expression] or ...
  _ <- profAgeScore.apply(("doctor" and 37 and 1.0) or ("teacher" and 32 and 1.0)).get
    .map(_.sorted ==> List("Ann", "Joe"))
} yield ()

Resolve input molecule by applying one or more value triples

// Input molecule awaiting 3 inputs for `profession`, `age` and `score`
val profAgeScore = m(Person.name.profession_(?).age_(?).score_(?))
for {
  // Sample data set
  Person.name.profession.age.score insert List(
    ("Ann", "doctor", 37, 1.0),
    ("Ben", "teacher", 37, 1.0),
    ("Joe", "teacher", 32, 1.0),
    ("Liz", "teacher", 28, 2.0)
  )

  // Apply one or more value triples, each matching all 3 input attributes
  _ <- profAgeScore.apply(("doctor", 37, 1.0)).get.map(_ ==> List("Ann"))
  _ <- profAgeScore.apply(("doctor", 37, 1.0), ("teacher", 37, 1.0)).get.map(_.sorted ==> List("Ann", "Ben"))
} yield ()

Resolve input molecule by applying 3 input values as individual args

// Input molecule awaiting 3 inputs for `profession`, `age` and `score`
val profAgeScore = m(Person.name.profession_(?).age_(?).score_(?))
for {
  // Sample data set
  Person.name.profession.age.score insert List(
    ("Ann", "doctor", 37, 1.0),
    ("Ben", "teacher", 37, 1.0),
    ("Joe", "teacher", 32, 1.0),
    ("Liz", "teacher", 28, 2.0)
  )

  // Apply 3 input values (1 triple)
  _ <- profAgeScore.apply("doctor", 37, 1.0).get.map(_ ==> List("Ann"))
} yield ()