1 2 3 4 5 6 7 8 9 10 11 12 13 14
async d(4). a(30). c(30). a(A):-b(A). a(A):-d(A). b(3,A):-a(A),not c(B),a(B). task(B):-b(A,B). task(30)? ---- ---- task(30) -> b(3, 30) -> a(30) -> not c(4) -> a(4) -> d(4) ---- ---- (no newline)