Logica

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

#667on PLDB	3Years Old	1.7kUsers
1Books	0Papers

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
HTML of this page generated by LanguagePage.ts

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

Books about Logica from ISBNdb

title	authors	year	publisher
Towards Mathematical Philosophy: Papers from the Studia Logica conference Trends in Logic IV	Tshilidzi Marwala; Monica Lagazio	2008	Springer

Logica - Query language

Language features

Books about Logica from ISBNdb