Ciao: документация по assertions для языка с логикой и проверками
На сайте ciao-lang.org опубликован раздел про Assertions and their Use в Ciao. Это не новость уровня «все пропало», а полезная техдокументация для тех, кто копает в language tooling и хочет понять, как в Ciao устроены assertions и зачем они вообще там нужны.