scientific article; zbMATH DE number 3688781

MaRDI QIDQ3883567zbMATH OpenFDO

Authors Luís Moniz Pereira, António Porto

Publication date 1980

zbMATH Keywords

Horn clause programsprologselective backtracking

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cited in

(1)

• A backtracking algorithm for the stream AND-parallel execution of logic programs

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 Q3883567)