Data abstraction in Prolog/KR

From MaRDI portal

Publication:1077922

Jump to:navigation, search

DOI10.1007/BF03037021zbMath0595.68022OpenAlexW2010012636MaRDI QIDQ1077922

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

synchronization abstract data types CPO Data abstraction Fifth Generation Computer logic programming language Prolog/KR NPO

Mathematics Subject Classification ID

Data structures (68P05)

Cites Work

Abstract data types and software validation

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1077922&oldid=13096573"