480  13.   " "...

  ,   C++    -
  Prolog.  C++     Prolog- ( 
posix_spawn()-  fork-exec-),      Prolog -
      ,  
Prolog-    C++  .   ,  -
       C++  Prolog,  "
"     ++-.

13.5.3.     
" "

" "    ,  CORBA-
.        " "  -
  .   ,  " " -
      .  
" " (   )    -
,   ,  ,   -
   ..   " ",    ,
,       .  ,
      , " " 
     .   
   ,       "
"   Solvers. ,   ,
    ( -)  
for_each ()   . ,   ,  -
    operator (),    -
 . -,      -
        .  , 
   ,    -.
    ,  
  operator (),    ,  
     .  CORBA- "
"    ,    PVM-
,  UNIX/Linux-   ,  -
 POSIX thread.   ,   ,  -
,       " ":  POSIX-,
 UNIX/Linux-  PVM-.

13.5.3.1.      PVM-

 " "    .
for_each(Solve.begin(),Solve.end(),Task) ;

 for_each ()    - (
  )     Solve.    
       MIMD,   -
          -
  .        13.4.