scientific article; zbMATH DE number 4162247

MaRDI QIDQ3489439zbMATH OpenFDO

Authors Yasusi Kanada, Masahiro Sugaya

Publication date 1989

zbMATH Keywords

parallel Prolog compilerparallel backtracking techniquepipelined vector processor compiler

Mathematics Subject Classification ID

Logic programming (68N17)

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

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)