Planner programming blows my mind (logic programming)

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.