Paper Info
Title
A Generalized Search Construct for Imperative Languages to Facilitate Declarative Programming
Abstract
Search is one of the more common strategies used by problem-solving agents. For many hard problems, a backtracking search can be the most effective approach for finding a solution. Logic programming languages provide, as a core feature of the language, the mechanics for the search behind the scenes without requiring the user to specify the algorithm. However, this functionality has been generally left out of the core features of imperative programming languages. In this work, we propose integrating a search agent into an imperative programming language through a search construct in the syntax. By doing so, our intention is that the user may apply a declarative approach to problem solving. We extend the Go programming language with this search construct and develop an agent to perform the search. The algorithm behind the search is implicitly handled by the agent. We demonstrate the effectiveness of this search construct through solutions to an exhaustive search over a file-system, the NQueens problem, and the monkey and the bananas problem. To evaluate the performance of our agent, we compare its runtime performance against two of the common Prolog implementations, SWI-Prolog and GNU Prolog.
Year
DOI
Venue
2022
10.1142/S1793351X2242003X
INTERNATIONAL JOURNAL OF SEMANTIC COMPUTING
Keywords
DocType
Volume
Declarative programming, imperative programming, problem-solving agent, search agent, backtracking search
Journal
16
Issue
ISSN
Citations 
03
1793-351X
0
PageRank 
References 
Authors
0.34
0
3
Name
Order
Citations
PageRank
James Smith100.34
Chris Henderson200.34
Ajay Bansal332027.21