Advent of code 2023

[kwon-young]

I believe swi-prolog tabling does not support attributed variables: Dif/2 and tabling - doesn't mix? - #3 by jan