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…
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…
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,…
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…
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…
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,…