Associative concurrent evaluation of logic programs

DOI10.1016/0743-1066(84)90026-8zbMath0566.68007OpenAlexW1963760246MaRDI QIDQ3681899

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

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

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