/test.data/negativeUpdate/testModification09.test
Unknown | 10 lines | 6 code | 4 blank | 0 comment | 0 complexity | 2069cf7bb097ef744aa18713743f273f MD5 | raw file
Possible License(s): LGPL-3.0, Apache-2.0
1# Rules: 2 3'Rule_0' A(x~p!1, y), B(k!1, l) -> A(x~q!1, y), B(k!1, l) @ 1.0 4 5%init: 6 * A(x~p!1, y, z!5), B(k!1, l~q), A(x~q!5) 6%init: 2 * A(x~p!1, y), A(x!1) 7 8# Simulation: 9 10%obs: '001' A(x~q?)