J-Logic code generator