Logic Programming using Parallel Associative Operations

• In order to provide performance improvements in the execution of large logic programs, it is highly desirable to investigate the relationships between logic, data-base systems and knowledge-based systems in the context of massively parallel architectures. This paper presents a model for the interpretation of logic programs in this type of environment and overviews the algorithms under development. An interpreter that implements the model has been demonstrated in simulations on a number of small programs. Implementation requires only a small set of hardware primitives be available, these have been successfully implemented on a working prototype machines. DADO Current research aims to develop the model into a practical and efficient logic programming system for use on the machine.

Ämnesord

NATURVETENSKAP  -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)

NATURAL SCIENCES  -- Computer and Information Sciences -- Computer Sciences (hsv//eng)

Nyckelord

SRA - ICT

SRA - Informations- och kommunikationsteknik

Publikations- och innehållstyp

ref (ämneskategori)

kon (ämneskategori)