< language > (ECP) Concurrent Prolog with OR parallelism , set abstraction and meta-inference features.
["AND-OR Queuing in Extended Concurrent Prolog", J. Tanaka et al, Proc Logic Prog Conf '85, LNCS 193, Springer 1985].
(1994-12-01)
< language > (ECP) Concurrent Prolog with OR parallelism , set abstraction and meta-inference features.
["AND-OR Queuing in Extended Concurrent Prolog", J. Tanaka et al, Proc Logic Prog Conf '85, LNCS 193, Springer 1985].
(1994-12-01)
FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012