py_02.lp 186 Bytes
Edit Raw Blame History



1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16


#script (python)

def main(prg):
    p = []
    p.append(("base", []))
    p.append(("a", [1, 3]))
    prg.ground(p)
    prg.solve()

#end.

a.
#program a(s,t).
b(s,t).
#program base.
c.