zbMath0707.68020MaRDI QIDQ3489439
Yasusi Kanada, Masahiro Sugaya
Publication date: 1989
zbMATH Keywords
parallel Prolog compiler; parallel backtracking technique; pipelined vector processor compiler
Mathematics Subject Classification ID
68N17: Logic programming