This repository is for my learning of prolog