It turned a well known Instrument for academia for utilizing proofs of strategy systems and experimentation. This acquired the language momentum which translated to another wave of generation programs while in the 2000s.Its origins day again to the start of logic programming, and is often being used to explain systems, or to develop domain designs.