• g

    Gordon

    1 year ago
    Hi, are there any open source databases on the level of postgres that use a prolog or datalog esque logic programming language for querying?
    g
    Mariano Guerra
    +4
    9 replies
    Copy to Clipboard
  • e

    Emmanuel Oga

    10 months ago
    Trying to come up with a list of interesting logic programming systems to learn from and maybe try.Maybe someone here want to contribute to it? BTW, I'm sure there are other lists like this, maybe we can add links to them? For instance, I included a link to a Wikipedia's list of logic PL, but it lists a lot of defunct systems which are more difficult to learn from imho.
    e
    Konrad Hinsen
    +2
    6 replies
    Copy to Clipboard
  • j

    Jason Morris

    8 months ago
    Paper showing how you can convert a logic program into a graph, translate it to three different varieties of ASP, and get your choice of stable model, well-founded, or co-stable answers, all with justifications built-in for free, on an open source ASP reasoner. So you can write logic code by drawing a graph. Not sure if it works for prepositional programs, though.
    j
    d
    5 replies
    Copy to Clipboard
  • d

    Drewverlee

    6 months ago
    Does anyone know of any circles what help you understand the concepts in the paper jason linked? I google my way to victory in about a dedicated year, but actually talking to the people who know how to read between the lines would probably take that down to a month.
    d
    1 replies
    Copy to Clipboard
  • j

    Jason Morris

    2 months ago
    I just invited people in #share-your-work to test out Blawx. I will be presenting a paper and demoing at the ICLP-colocated GDE workshop soon. Interested in feedback from this channel.
  • curious_reader

    curious_reader

    1 month ago
    Hey! I found some logic programming related stuff in the dev holochain discord which I found somehow relevant and wanted to share here: and here:
  • curious_reader

    curious_reader

    1 month ago
  • j

    Jason Morris

    2 weeks ago
    message has been deleted
  • j

    Jason Morris

    2 weeks ago
    message has been deleted
    j
    w
    5 replies
    Copy to Clipboard