zbMath0795.68033MaRDI QIDQ4281606
Vicente Benjumea, José M. Troya
Publication date: 10 March 1994
zbMATH Keywords
logic programmingmultisequential Prolog systemOR-parallel Prolog model
Mathematics Subject Classification ID
Logic programming (68N17) Distributed algorithms (68W15)