Logic programming languages are pretty rare nowadays, here is one where the answers (inferred values which satisfy the constrains) represent mutations instead of traditional values.

  • hydroptic@sopuli.xyz
    link
    fedilink
    arrow-up
    4
    arrow-down
    1
    ·
    9 months ago

    Oh nice, Picat seems interesting. I’ve been meaning to learn Prolog or some other language in that category, but never got around to it aside from a couple of half-hearted attempts at following some Prolog tutorial or another