AdventOfCode2025 https://adventofcode.com/ Solutions in SWI-Prolog. Run with e.g. swipl -g main. day01.pl <input