Related languages: Curry, Datalog, Oz, Wolfram Language, Lustre, Prolog, Nix, SequenceL, Mercury, Modelica, SQL