mossmoth

5 ms·

1. 1.▲
   by mossmoth 10y ago

   You have Sailfish OS [0], which is ported to rather modern (albeit somewhat low spec) phones (e.g. Fairphone 2, Jolla C [1]). Sailfish also has an Android compatability layer (think Wine for Linux) so it can run most Android apps. [0] - ht
2. 2.▲
   by mossmoth 10y ago

   Datalog is also quite actively used in ontology based data access where Datalog rules are used as mappings between databases and ontologies (see e.g. [1]). Variants and extensions of Datalog is also research actively in the field of answer
3. 3.▲
   by mossmoth 10y ago

   I do not think you are correct in saying that SQL is a logic programming language. A logic programming language is defined in terms of rules/implications[1], which SQL is not. However, it is a declarative language, which Prolog also is