Logica

Logica is a query language created in 2020 by Evgeny Skvortsov.

Source code:

git clone https://github.com/evgskv/logica

#621on PLDB

3Years Old

Logica is an open source declarative logic programming language for data manipulation. Logica is a successor to Yedalog, a language created at Google earlier.

Logica website
Logica is developed on GitHub and has 1,440 stars
Logica first developed in https://github.com/EvgSkv/logica/issues
Logica compiles to SQL
logica.dev was registered in 2020

Example from the web:

# Define natural numbers from 1 to 29.
N(x) :- x in Range(30);
# Define primes.
Prime(prime: x) :-
  N(x),
  x > 1,
  ~(
    N(y),
    y > 1,
    y != x,
    Mod(x, y) == 0
  );

Feature	Supported	Token	Example
Comments	✓		# A comment
Line Comments	✓	#	# A comment
Semantic Indentation	X

Logica - Query language

Language features