Planner programming blows my mind (logic programming) (www.hillelwayne.com)
from armchair_progamer@programming.dev to programming_languages@programming.dev on 21 Feb 2024 01:59
https://programming.dev/post/10342387

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.

#programming_languages

threaded - newest

hydroptic@sopuli.xyz on 21 Feb 2024 02:07 collapse

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