- cross-posted to:
- rakulang
- cross-posted to:
- rakulang
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.
You must log in or register to comment.
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