The second type of languages have a formal logical basis , i.e. they have a formal syntax and semantics , and can be mapped to an existing formal language , such as first-order logic .

The second type of languages have a well defined rules of construction and interpretation , and can be matched to formal languages , such as first-order logic .
