Sweeprolog version: 0.8.12

Release date: Nov. 22, 2022