Vectorization Techniques for OR-Parallel Execution of Logic Programming Languages (Kanada's papers)

« A General-Purpose Conjunctive Iterative Control Structure for Prolog | Main | Vector-processing Method of Lists Based on Program Transformation and Its Application to Eight Queens Problem »

Vectorization Techniques for OR-Parallel Execution of Logic Programming Languages

Kanada, Y., and Sugaya, M., Journal of Information Processing Society of Japan, Vol. 30, No. 4, pp. 495-506, 1989.

[ 日本語のページ ]
[No English abstract is available.]
[No English abstract is available.]

Introduction to this research theme: Logic/Symbolic Vector Processing

Tags:

Keywords: Logic programming language, Programming language processor, Vectorization of symbol processing, Vectorized symbol processing, Parallel symbol processing, Supercomputing, Super symbol processing, Parallel processing, Vector processing

Updated on June 8, 2008 5:09 PM | Individual link | Comments (0) | TrackBacks (0)

TrackBack

TrackBack URL for this entry:
http://www.kanadas.com/mt/mt-tb.cgi/183

Search

About

This page contains a single entry from the subsite posted on April 1, 1989 12:00 AM.

The previous post in this subsite was A General-Purpose Conjunctive Iterative Control Structure for Prolog.

The next post in this subsite is Vector-processing Method of Lists Based on Program Transformation and Its Application to Eight Queens Problem.

Many more can be found on the main index page or by looking through the archives.

Subscribe to this subsite's feed
[What is this?]

Kanada's papers