Concurrency and backtracking in Vienna Parallel Logic

DOI10.1016/0096-0551(93)90033-WMaRDI QIDQ3142279zbMATH OpenOpenAlexFDO

Authors Eva Kühn, Herbert Pohlai, Franz Puntigam

Publication date 15 November 1993

Published in Computer Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0096-0551(93)90033-w

zbMATH Keywords

concurrent logic languageprogramming backtrackingtransaction

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• scientific article; zbMATH DE number 3958697
• scientific article; zbMATH DE number 3997139
• PARLOG: parallel programming in logic
• scientific article; zbMATH DE number 3967899
• Multilog and data or-parallelism

This page was built for publication: Concurrency and backtracking in Vienna Parallel Logic

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