A programming language is a set of rules that allows humans to tell computers what operations to perform. Programming languages provide tools for developing executable models for problem domains and exist at various levels from high-level languages that are closer to human language to low-level machine code. Some of the principal programming paradigms include imperative, object-oriented, logic/declarative, and functional programming. Popular high-level languages include FORTRAN, COBOL, BASIC, C, C++, Java, and markup languages like HTML and XML.