Special Issue “Computational Logic on Prolog's 50th Anniversary: Highlights from CILC 2022”