MU-Prolog {Prolog} with "wait" declarations for {coroutining}, developed by L. Naish of the {Univeristy of Melbourne} in 1982. ["Negation and Control in Prolog", L. Naish, TR 85/12, U Melbourne (1985)]. See {NU-Prolog}. (1998-02-14)
版权所有 © 2024 3Dict.cn