با سلام كسي در مورد الگوريتم robinson va skolem در هوشمصنوعي اطلاعاتي داره