Simple-List-Prolog-to-List-Prolog

Converts Simple List Prolog algorithms to List Prolog algorithms

Prerequisites

• Use a search engine to find the Homebrew (or other) Terminal install command for your platform and install it, and search for the Terminal command to install swipl using Homebrew and install it or download and install SWI-Prolog for your machine at SWI-Prolog.

Mac, Linux and Windows (with Linux commands installed): Prepare to run swipl

• In Terminal settings (Mac), make Bash the default shell:

/bin/bash

• In Terminal, edit the text file ~/.bashrc using the text editor Nano:

nano ~/.bashrc

• Add the following to the file ~/.bashrc:

export PATH="$PATH:/opt/homebrew/bin/"

• Check if usr/local/bin exists

ls -ld /usr/local/bin

• Create the directory if missing

sudo mkdir -p /usr/local/bin

• Link to swipl in Terminal

sudo ln -s /opt/homebrew/bin/swipl /usr/local/bin/swipl

1. Install manually

Download this repository.

2. Or Install from List Prolog Package Manager (LPPM)

• Download the LPPM Repository:

mkdir GitHub
cd GitHub/
git clone https://github.com/luciangreen/List-Prolog-Package-Manager.git
cd List-Prolog-Package-Manager
swipl
['lppm'].
lppm_install("luciangreen","Simple-List-Prolog-to-List-Prolog").
../
halt.

Running

• In Shell: cd Simple-List-Prolog-to-List-Prolog swipl ['slp2lp.pl'].

• Convert Simple List Prolog code to List Prolog code by running:

?- slp2lp([[f1,[a,b,c,d,e],(:-),[[+,[a,b,f]],[+,[c,f,g]],[+,[d,g,h]],[=,[h,e]]]]],Algorithm2),writeln(Algorithm2).
Algorithm2=[[[n,f1],[[v,a],[v,b],[v,c],[v,d],[v,e]],":-",[[[n,+],[[v,a],[v,b],[v,f]]],[[n,+],[[v,c],[v,f],[v,g]]],[[n,+],[[v,d],[v,g],[v,h]]],[[n,=],[[v,h],[v,e]]]]]]