It turned a popular Device for academia for implementing proofs of concept systems and experimentation. This obtained the language momentum which translated to another wave of output programs from the 2000s.Its origins date again to the start of logic programming, and is usually being used to describe systems, or to develop area styles.Annex SL wou