A repo for me to save my Prolog codes for fun.