Logica – Declarative logic programming language for data (logica.dev) | HN Screenshots

YHacker Newsscreenshots

Screenshot of logica.dev: Logica – Declarative logic programming language for data

First screen, captured 1 year ago.

Looks similar

Screenshot of lix.polytechnique.fr: λProlog: Logic programming in higher-order logic

λProlog: Logic programming in higher-order logic (lix.polytechnique.fr)

149 points by ux266478 8 months ago | 36 comments

Screenshot of learndatalogtoday.org: Learn Datalog Today

Learn Datalog Today (learndatalogtoday.org)

178 points by tosh 2 years ago | 47 comments

Screenshot of carnap.io: Carnap – A formal logic framework for Haskell

Carnap – A formal logic framework for Haskell (carnap.io)

97 points by ravenical 10 months ago | 20 comments

Screenshot of sql.ophir.dev: Show HN: SQLPage – Build Dynamic Websites with Just SQL Queries

Show HN: SQLPage – Build Dynamic Websites with Just SQL Queries (sql.ophir.dev)

21 points by lovasoa 3 years ago | 8 comments

Screenshot of logicforprogrammers.com: Logic for Programmers

Logic for Programmers (logicforprogrammers.com)

161 points by _doctor_love 2 months ago | 31 comments

Screenshot of borgo-lang.github.io: Borgo Programming Language

Borgo Programming Language (borgo-lang.github.io)

334 points by MrBuddyCasino 1 year ago | 159 comments

Interactive intro and playground for Borgo, a new statically typed programming language with Rust-like features that compiles to Go.

borgo go rust programming-languages