scientific article; zbMATH DE number 4164126

MaRDI QIDQ3490934zbMATH OpenFDO

Authors Laurent Fribourg

Publication date 1989

zbMATH Keywords

logic programmingProlog

Mathematics Subject Classification ID

Logic programming (68N17) Artificial intelligence (68T99)

Recommendations

• Functions and lazy evaluation in Prolog
• scientific article; zbMATH DE number 1511970
• scientific article; zbMATH DE number 45896
• scientific article; zbMATH DE number 1531362
• scientific article; zbMATH DE number 3872643

Cited in

(9)

• A note on higher-order functions versus logical variables
• Functions in full Prolog
• Functions and lazy evaluation in Prolog
• Functional fold based programming in SWI-Prolog
• scientific article; zbMATH DE number 45896 (Why is no real title available?)
• scientific article; zbMATH DE number 1511970 (Why is no real title available?)
• scientific article; zbMATH DE number 4003495 (Why is no real title available?)
• Focal structures and information types in Prolog
• Prolog's control constructs in a functional setting -- axioms and implementation

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