scientific article; zbMATH DE number 67966

MaRDI QIDQ4013975zbMATH OpenFDO

Authors C. Beierle

Publication date 27 September 1992

zbMATH Keywords

logic programming languageorder-sorted extensions of Prologpolymorphic order-sorted unification algorithmPROTOS-L

Mathematics Subject Classification ID

Logic programming (68N17) Theory of compilers and interpreters (68N20) Abstract data types; algebraic specification (68Q65) Artificial intelligence (68T99)

Recommendations

• scientific article; zbMATH DE number 4164125
• Towards Typed Prolog
• A type system for logic programs
• A polymorphic type system for Prolog
• Reasoning about prolog programs: From modes through types to assertions
• scientific article; zbMATH DE number 1552531
• A Logic of Type Relations and its Applications to Relational Databases
• Type inference in Prolog: A new approach
• scientific article; zbMATH DE number 1231466
• Formal and practical aspects of implementing abstract data types in the prolog instruction

Cited in

(3)

• An order-sorted logic for knowledge representation systems
• PROTOS-L
• scientific article; zbMATH DE number 44623 (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 Q4013975)