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.

Subject headings

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

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

Keyword

SRA - ICT

SRA - Informations- och kommunikationsteknik

Publication and Content Type

ref (subject category)

kon (subject category)