https://github.com/pjritee/pl_search_cpp
A C++ module that uses Prolog ideas for search and constraint programming
https://github.com/pjritee/pl_search_cpp
backtracking-search constraint-logic-programming constraint-programming cplusplus prolog
Last synced: 3 months ago
JSON representation
A C++ module that uses Prolog ideas for search and constraint programming
- Host: GitHub
- URL: https://github.com/pjritee/pl_search_cpp
- Owner: pjritee
- License: mit
- Created: 2025-02-02T03:27:11.000Z (4 months ago)
- Default Branch: master
- Last Pushed: 2025-03-01T06:59:56.000Z (3 months ago)
- Last Synced: 2025-03-01T07:27:12.560Z (3 months ago)
- Topics: backtracking-search, constraint-logic-programming, constraint-programming, cplusplus, prolog
- Language: C++
- Homepage:
- Size: 2.67 MB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE.txt
Awesome Lists containing this project
README
# PLSearchCPP
PLSearchCPP is a C++ library that approximates Prolog predicates using a continuation-passing style. It provides a framework for defining and executing Prolog-like predicates, including support for backtracking, choice points, and unification.
## Features
- Prolog-like predicates
- Continuation-passing style execution
- Backtracking and choice points
- Unification of terms
- Support for variables, integers, floats, atoms, and lists
## Installation
### Prerequisites
- C++11 or later
- CMake 3.10 or later
### Building the Library
1. Clone the repository:
```sh
git clone https://github.com/yourusername/PLSearchCPP.git
cd PLSearchCPP
```
2. Create a build directory and navigate to it:
```sh
mkdir build
cd build
```
3: Run CMake to configure the project:
```sh
cmake ..
```
4: Build the project:
```sh
make
```
This will build the pl_search library and place it in the lib directory.
## Examples
The examples directory contains the following examples of using the library.
- A solver for the SEND+MORE=MONEY puzzle with lots of comments about the approach and code details (send_more_money.cpp).
- An example of a user defined Term type (prolog_list.hpp).
- An implementation of the Prolog append predicate using the above type (append_pred.hpp).
- A main program ( prolog_list.cpp) that exercises the definitions above.
- A Makefile to build the executables.
## Documentation
Documentation can be found here [docs/index.html](https://pjritee.github.io/pl_search_cpp/docs/html/index.html)
## License
This project is licensed under the MIT License - see the LICENSE file for details.
## Version History
* 1.1
- Fix problems in unify
- Remove the test_choice method from Pred
- merge solve into main in send_more_money.cpp for better testing with valgrind
* 1.0
- Initial release.