scientific article; zbMATH DE number 826302

MaRDI QIDQ4858580zbMATH OpenFDO

Authors Jan Maluszyński, Staffan Bonnier, Johan Boye, Feliks Kluźniak, Andreas Kågedal, Ulf Nilsson

Publication date 17 December 1995

zbMATH Keywords

declarative semanticsfunctional procedureslogic programs

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Logic programming with external procedures: Introducing S-unification
• scientific article; zbMATH DE number 4178744
• scientific article; zbMATH DE number 549963
• scientific article; zbMATH DE number 4043302
• scientific article; zbMATH DE number 823595

Cited in

(8)

• Logic programming with external procedures: Introducing S-unification
• External sources of knowledge and value invention in logic programming
• scientific article; zbMATH DE number 1696865 (Why is no real title available?)
• scientific article; zbMATH DE number 4178744 (Why is no real title available?)
• scientific article; zbMATH DE number 4193099 (Why is no real title available?)
• scientific article; zbMATH DE number 25191 (Why is no real title available?)
• scientific article; zbMATH DE number 549963 (Why is no real title available?)
• scientific article; zbMATH DE number 823595 (Why is no real title available?)

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