MU-Prolog(ID:1001/mup002)

Prolog with coroutining

L. Naish, U Melbourne 1982. Prolog with 'wait' declarations for coroutining.

Prolog	=>	MU-Prolog		Extension of
MU-Prolog	=>	NU-Prolog		Evolution of

References:

Naish, L. "Negation and Control in Prolog", TR 85/12, Uni of Melbourne 1985 view details