Robuta

https://logika.v3.sireum.org/doc/03-language/programming/index.html 3.4. Programming Logic — Sireum Logika programminglogicsireumlogika