scientific article; zbMATH DE number 4162247

zbMATH Open0707.68020MaRDI QIDQ3489439FDOQ3489439

Authors: Yasusi Kanada, Masahiro Sugaya 

Publication date: 1989

Title of this publication is not available (Why is that?)

Recommendations

• An efficient reasoning method on logic programming using partial evaluation in vector spaces
• An efficient procedure for theorem proving in propositional logic on vector computers
• scientific article; zbMATH DE number 53637
• scientific article; zbMATH DE number 3907751
• scientific article; zbMATH DE number 67823
• A parallel implementation of flat concurrent Prolog
• scientific article; zbMATH DE number 3995047
• scientific article; zbMATH DE number 970732

zbMATH Keywords

parallel Prolog compilerparallel backtracking techniquepipelined vector processor compiler

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (1)

• Reducing and vectorizing procedures for telescoping languages

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3489439)