kolorowanie

rozczytac spec sbvr do poz. parsowania poj. przykładu

rulexpress, opis + sshot

czy ktos cos robil do SBVR w prologu?

nie pakujemy sie w modal logic