My prolog source codes