Vlastní jazyk, který se zaměřuje na problémové domény a definuje problém na vysoké úrovni abstrakce.