A control strategy based on heuristic techniques for the parallel execution of logic programs

G Jain; B Ramkumar; J.G Kuhl

doi:10.1109/IPPS.1994.288284

Back

Conference proceeding

A control strategy based on heuristic techniques for the parallel execution of logic programs

G Jain, B Ramkumar and J.G Kuhl

Proceedings of 8th International Parallel Processing Symposium, pp.311-315

1994

DOI: 10.1109/IPPS.1994.288284

View Online

Abstract

We apply parallel heuristic solving techniques to the exponentially complex problem of interpretation of pure logic programs. Parallel heuristics incorporated within the control strategy employed to solve logic programs are used to guide the search for a solution in parts of the search space most likely to yield a solution. The results show that our strategy when applied to standard benchmarks not only improves the time taken to arrive at a solution by more than a linear factor, but reduces the memory requirements as well.< >

Automatic control

Cities and towns

Computer languages

Concurrent computing

Constraint optimization

Control systems

Logic programming

NP-hard problem

Details

Title: Subtitle: A control strategy based on heuristic techniques for the parallel execution of logic programs
Creators: G Jain - Dept. of Electr. & Comput. Eng., Iowa Univ., Iowa city, IA, USA
B Ramkumar - Dept. of Electr. & Comput. Eng., Iowa Univ., Iowa city, IA, USA
J.G Kuhl - Dept. of Electr. & Comput. Eng., Iowa Univ., Iowa city, IA, USA
Resource Type: Conference proceeding
Publication Details: Proceedings of 8th International Parallel Processing Symposium, pp.311-315
DOI: 10.1109/IPPS.1994.288284
ISSN: 0190-3918
eISSN: 2332-5690
Publisher: IEEE Comput. Soc. Press
Language: English
Date published: 1994
Academic Unit: Electrical and Computer Engineering; Public Policy Center (Archive)
Record Identifier: 9984283731402771

Metrics

17 Record Views