METHOD FOR IMPLEMENTING CUT IN PARALLEL EXECUTION OF PROLOG.

Volumn , Issue , 1987, Pages 449-456

  Ali, Khayri A M ^a  

^a SWEDISH INSTITUTE OF COMPUTER SCIENCE   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY - FORMAL LOGIC;

NONSHARED MEMORY MULTIPROCESSORS; PARALLEL LOGIC PROGRAMS; PROLOG; SHARED MEMORY MULTIPROCESSORS; WARREN ABSTRACT MACHINE;

COMPUTER SYSTEMS, DIGITAL;

EID: 0023559306     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)