prolog logic programming - ghdrako/doc_snipets GitHub Wiki