طراحی زبان های برنامه سازی - جلسه بیست و یکم - prolog