Live data from Hacker News

Viewing profile — evgskv

evgskv

HN member
Joined
Wed, Apr 14, 2021, 1:27 AM UTC
HN karma
1
Public activity
11 items

About evgskv

Twitter: https://twitter.com/evgskvdev I maintain and develop Logica: https://github.com/evgskv/logica

Recent public activity

  1. comment
    Comment #42179022

    Ah, yes, you're right! Please do: # ... Q(your_column) :- example_db.YourTable(your_column:); You can query multiple columns of course. Feel free to start threads in Discussions of…

  2. comment
    Comment #42174951

    In my opinion any analytical query is easier to read in logic language than in SQL. But it's most obvious for recrusive querries. E.g. distance in graph defined by predicate (aka t…

  3. comment
    Comment #42174870

    To connect to a database file use: @AttachDatabase("db_prefix", "your_file.db"); # Then you can query from it: Q(..r) :- db_prefix.YourTable(..r);

  4. comment
    Comment #42169969

    There is a standard method of optimization - breaking predicate into smaller ones and saving intermediates into database. Typically program runs efficiently, but when optimization …

  5. comment
    Comment #42169938

    Yeah, we need better tutorials. To use SQLite use @Engine("sqlite") imperative. And you can then connect to you database file with @AttachDatabase imperative. For example if you ha…

  6. comment
  7. comment
    Comment #40996641

    I think of Prolog as a general purpose logic programming language and Datalog to be logic programming more focused on data analysis. Data analysis is a very large area, so boundary…

  8. comment
    Comment #36053937

    I have update Logica homepage. Hope it helps to get a sense of what the language is about.

  9. story
  10. comment
    Comment #33782195

    Looks like Mangle differs from Prolog when it needs to express aggregation. I am curious what prolog dialect/library you think has good(or best?) aggregation syntax?

  11. comment
    Comment #33782083

    That's right. And btw Logica is also open source: https://github.com/evgskv/logica