Performance of an OR-parallel logic programming system

1988 ◽  
Vol 17 (1) ◽  
pp. 59-92 ◽  
Author(s):  
Peter A. Tinker
Keyword(s):  
Logic Programming ◽  
Programming System ◽  
Parallel Logic Programming

The parallel logic programming system in the FGCS project and its future directions

1999 ◽  
Vol 25 (13-14) ◽  
pp. 1601-1633
Author(s):  
Shunichi Uchida ◽  
Akira Aiba ◽  
Kazuaki Rokusawa ◽  
Takashi Chikayama ◽  
Ryuzo Hasegawa
Keyword(s):  
Logic Programming ◽  
Programming System ◽  
Future Directions ◽  
Parallel Logic Programming

OASys: An AND/OR parallel logic programming system

1999 ◽  
Vol 25 (3) ◽  
pp. 321-336 ◽  
Author(s):  
I Vlahavas ◽  
P Kefalas ◽  
C Halatsis
Keyword(s):  
Logic Programming ◽  
Programming System ◽  
Parallel Logic Programming
Sign in / Sign up

Export Citation Format

Share Document