Data abstraction in Prolog/KR

DOI10.1007/BF03037021zbMATH Open0595.68022OpenAlexW2010012636MaRDI QIDQ1077922FDOQ1077922

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

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

zbMATH Keywords

synchronizationabstract data typesCPOData abstractionFifth Generation Computerlogic programming language Prolog/KRNPO

Mathematics Subject Classification ID

Data structures (68P05)

Cites Work

• Abstract data types and software validation

Cited In (4)

• Data abstractions: Why and how?
• Complex-Prolog: A logic database language for handling complex objects
• Modularization and abstraction in logic programming
• 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)