Associative concurrent evaluation of logic programs

DOI10.1016/0743-1066(84)90026-8MaRDI QIDQ3681899zbMATH OpenOpenAlexFDO

Authors Katsuhiko Nakamura

Publication date 1984

Published in The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0743-1066(84)90026-8

zbMATH Keywords

databaseenvironmentscontent-addressable memoriesevaluation method for logic programsH-PROLOG system

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Information storage and retrieval of data (68P20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• PARLOG: parallel programming in logic
• scientific article; zbMATH DE number 44616
• Representation sharing for Prolog
• Multilog and data or-parallelism
• Publication:4721627

Cited in

(3)

• scientific article; zbMATH DE number 44616 (Why is no real title available?)
• Towards the assessment of logics for concurrent actions
• scientific article; zbMATH DE number 1696779 (Why is no real title available?)

This page was built for publication: Associative concurrent evaluation of logic programs

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