Extended Concurrent Prolog




<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].



< Previous Terms Terms Containing Extended Concurrent Prolog Next Terms >
Extended Backus-Naur Form
Extended Binary Coded Decimal Interchange Code
Extended BNF
Extended C++
Extended Capabilities Port
ECP
Extended Concurrent Prolog
Extended Data Out Dynamic Random Access Memory
Extended Data Out Random Access Memory
Extended Fortran Language
eXtended Graphics Array
Extended Industry-Standard Architecture