scientific article; zbMATH DE number 3986672

zbMATH Open0609.68066MaRDI QIDQ3750143FDOQ3750143

Hans-Jürgen Bürckert

Publication date: 1986

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

Recommendations

• How to invent a Prolog machine
• A verified prolog compiler for the Warren Abstract Machine
• Lazy linear combinatorial unification
• scientific article; zbMATH DE number 773979
• scientific article

zbMATH Keywords

lazy SLD-resolutionlazy-unificationT-unificationWarren abstract Prolog machine

Mathematics Subject Classification ID

Cited In (4)

• A new deductive approach to planning
• How to invent a Prolog machine
• A resolution principle for constrained logics
• Title not available (Why is that?)

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