prlog d extraction d or