A game semantics for disjunctive logic programming
Keywords: برنامه ریزی منطق تفکیکی; 03B70; 68N17; 68Q55; 91A40; Logic programming; Disjunctive logic programming; Game semantics; Logic programming semantics;