It became a well-liked tool for academia for applying proofs of idea systems and experimentation. This obtained the language momentum which translated to another wave of creation programs while in the 2000s.Its origins day back again to the beginning of logic programming, and is commonly getting used to explain systems, or to develop domain designs