A Backtracking Algorithm for the Stream AND-parallel Execution of Logic Programs

A Backtracking Algorithm for the Stream AND-parallel Execution of Logic Programs
Author :
Publisher :
Total Pages :
Release :
ISBN-10 : OCLC:605962918
ISBN-13 :
Rating : 4/5 ( Downloads)

Book Synopsis A Backtracking Algorithm for the Stream AND-parallel Execution of Logic Programs by : Zoltan Somogyi

Download or read book A Backtracking Algorithm for the Stream AND-parallel Execution of Logic Programs written by Zoltan Somogyi and published by . This book was released on 1988 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:


A Backtracking Algorithm for the Stream AND-parallel Execution of Logic Programs Related Books

A Backtracking Algorithm for the Stream AND-parallel Execution of Logic Programs
Language: en
Pages:
Authors: Zoltan Somogyi
Categories:
Type: BOOK - Published: 1988 - Publisher:

DOWNLOAD EBOOK

An Intelligent Backtracking Algorithm for Parallel Execution of Logic Programming
Language: en
Pages:
Authors: University of Texas at Austin. Artificial Intelligence Laboratory
Categories:
Type: BOOK - Published: 1986 - Publisher:

DOWNLOAD EBOOK

Parallel Execution of Logic Programs
Language: en
Pages: 154
Authors: John S. Conery
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book is an updated version of my Ph.D. dissertation, The AND/OR Process Model for Parallel Interpretation of Logic Programs. The three years since that pap
Parallel Execution of Logic Programs
Language: en
Pages: 212
Authors: Anthony Beaumont
Categories: Computers
Type: BOOK - Published: 1991-12-11 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Logic programming refers to execution of programs written in Horn logic. Among the advantages of this style of programming are its simple declarativeand procedu
An Intelligent Backtracking Algorithm for Parallel Execution of Logic Programs
Language: en
Pages: 26
Authors: Yow-Jian Lin
Categories: Logic programming
Type: BOOK - Published: 1986 - Publisher:

DOWNLOAD EBOOK

Chang & Despain have recently presented a backtracking scheme which also makes use of the dependencies between literals. We show that our scheme is more efficie