Languages Features Creators Calendar CSV Resources Blog About Pricing Add Language
GitHub icon

Logica

Logica - Query language

< >

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.


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 );

Language features

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
rockstar.html · logica.html · synchronized-multimedia-integration-language.html

View source

- Build the next great programming language · Search · v2023 · Day 208 · Docs · Acknowledgements · Traffic · Traffic Today · Mirrors · GitHub · feedback@pldb.com