7 ms·

I didn’t say this was written by generative AI. I just wondered if people are more willing to accept and forgive completely wrong information because of it.

JoBrad 3y ago
You’ve bled so many pixels complaining about wrong information. Can you please provide an informative and accurate link that explains a similar implementation?
- rebanevapustus 3y ago
  I second the disgruntled commenter's feelings. This has nothing to do with Datalog. Here are three accurate and sound Datalog implementations: 1: https://github.com/ekzhang/crepe https://github.com/ekzhang/crepe 2: https://github.com/s-arash/ascent https://github.com/s-arash/ascent 3: https://github.com/brurucy/micro-datalog https://github.com/brurucy/micro-datalog
  - pests 3y ago
    Thank you! I didn't know this had nothing to do with Datalog - just extremely annoying (and not your fault) that we are 7 comments deep. I think we called it C&C back in the day, constructive criticism. Just was missing the constructive part.
    - stopachka 3y ago
      Hi pests, I don't think the criticism in the comments gives a full picture. I wrote about a particular flavor of datalog, in common use today. [1] [2]. The earliest representation I know which matches the syntax of my essay, was in SICP [3] There's another, more academic form of datalog which looks a lot like prolog. There's lots of similarities and [2] mentions them. [1] https://github.com/tonsky/datascript https://github.com/tonsky/datascript [2] https://docs.datomic.com/pro/query/query.html https://docs.datomic.com/pro/query/query.html [3] https://sarabander.github.io/sicp/html/4_002e4.xhtml https://sarabander.github.io/sicp/html/4_002e4.xhtml
      - rebanevapustus 3y ago
        There is no such thing as "a more academic form of Datalog". There is only one Datalog. Both Datascript and Datomic support recursion. In SICP it too talks about how rules can be defined recursively. If there is no recursion, then it's just SQL without negation. What makes it Datalog is the recursive part. Plus, the "triples" part of what you call "Datalog", as it is explained on Datomic's documentation, is nothing related to Datalog at all. It's just a convenient format to ensure that all data is in a RDF-inspired format. Semantics aside, it makes it easier to build indexes and for it to be performant, compared to multi-relation unbounded-arity Datalog.

JoBrad 3y ago

You’ve bled so many pixels complaining about wrong information. Can you please provide an informative and accurate link that explains a similar implementation?

rebanevapustus 3y ago
I second the disgruntled commenter's feelings. This has nothing to do with Datalog. Here are three accurate and sound Datalog implementations: 1: https://github.com/ekzhang/crepe https://github.com/ekzhang/crepe 2: https://github.com/s-arash/ascent https://github.com/s-arash/ascent 3: https://github.com/brurucy/micro-datalog https://github.com/brurucy/micro-datalog
- pests 3y ago
  Thank you! I didn't know this had nothing to do with Datalog - just extremely annoying (and not your fault) that we are 7 comments deep. I think we called it C&C back in the day, constructive criticism. Just was missing the constructive part.
  - stopachka 3y ago
    Hi pests, I don't think the criticism in the comments gives a full picture. I wrote about a particular flavor of datalog, in common use today. [1] [2]. The earliest representation I know which matches the syntax of my essay, was in SICP [3] There's another, more academic form of datalog which looks a lot like prolog. There's lots of similarities and [2] mentions them. [1] https://github.com/tonsky/datascript https://github.com/tonsky/datascript [2] https://docs.datomic.com/pro/query/query.html https://docs.datomic.com/pro/query/query.html [3] https://sarabander.github.io/sicp/html/4_002e4.xhtml https://sarabander.github.io/sicp/html/4_002e4.xhtml
    - rebanevapustus 3y ago
      There is no such thing as "a more academic form of Datalog". There is only one Datalog. Both Datascript and Datomic support recursion. In SICP it too talks about how rules can be defined recursively. If there is no recursion, then it's just SQL without negation. What makes it Datalog is the recursive part. Plus, the "triples" part of what you call "Datalog", as it is explained on Datomic's documentation, is nothing related to Datalog at all. It's just a convenient format to ensure that all data is in a RDF-inspired format. Semantics aside, it makes it easier to build indexes and for it to be performant, compared to multi-relation unbounded-arity Datalog.