Data abstraction in Prolog/KR

DOI10.1007/BF03037021MaRDI QIDQ1077922zbMATH OpenOpenAlexFDO

Authors Hideyuki Nakashima, Norihisa Suzuki

Publication date 1983

Published in New Generation Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf03037021

zbMATH Keywords

abstract data typesCPOData abstractionFifth Generation Computerlogic programming language Prolog/KRNPOsynchronization

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• Formal and practical aspects of implementing abstract data types in the prolog instruction
• Set abstraction - an extension of all solutions predicate in logic programming language
• A typed functional extension of logic programming
• A calculus for the construction of modular prolog programs
• scientific article; zbMATH DE number 4072431

Cites work

• Abstract data types and software validation

Cited in

(4)

• Modularization and abstraction in logic programming
• Complex-Prolog: A logic database language for handling complex objects
• Data abstractions: Why and how?
• Formal and practical aspects of implementing abstract data types in the prolog instruction

This page was built for publication: Data abstraction in Prolog/KR

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1077922)