5 ms·
At a glance, this looks like a new syntax in the Prolog family (with some other special stuff). Erlang, which kept Prolog syntax but lost its semantics, has a s
by zeckalpha 4y ago
At a glance, this looks like a new syntax in the Prolog family (with some other special stuff). Erlang, which kept Prolog syntax but lost its semantics, has a similar new syntax in Elixir.
- mdp2021 4y agoDatalog. > in the Prolog family > Scallop is a full-fledged logic programming language based on Datalog [...] a logic rule-based query language for relational databases. [...] Scallop is a scalable Datalog solver equipped with support for discrete, probabilistic, and differentiable modes of reasoning
- zeckalpha 4y agoYes, but Datalog has traditionally kept the Prolog syntax as a subset of Prolog. This is a new syntax.