1 2 3 4 5 6 7 8 9 10 11 12 13
sync d(4). a(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(A)? ---- ---- A: 30, 4 ---- ---- (no newline)