A general-purpose semantic systems programming language. Describe a system once; real co…