N-Prolog(NPL) is an interpreter and compiler to be superset of ARITY/PROLOG(MS-DOS)
N-Prolog is NOT ISO-Prolog. Compatible with ARITY/PROLOG(MS-DOS) see document/NAMUAL.md
license is modified BSD. Note: We later became aware that another system with the same name, N-Prolog, already existed. This project is unrelated.
We have confirmed the operation on the following OS.
- Ubuntu
- Linux MINT
- RaspberryPI Raspbian
- OpenBSD
- FreeBSD
- MacOS
Please use WSL when using it on Windows.
In home directory ,make clone or download zip file from github. On Linux type "make" on terminal. and type "sudo make install" on terminal.
see https://www.youtube.com/watch?v=36vUd8ThMF0
Starting from version 4.08, the CURL library is required. If it is not installed by default, please install it using the following commands:
sudo apt update
sudo apt install libcurl4-openssl-dev
On MacOs be sure to install ncurses
brew install ncurses export PATH=$PATH:/opt/homebrew/Cellar/ncurses/6.5/bin
When loading files, N-Prolog automatically resolves file paths based on the following rules:
- Relative paths (starting with
./or../) are used directly. If no extension is present,.plis appended. - If the environment variable
NPROLOG_HOMEis set, files are loaded from that directory. - If
NPROLOG_HOMEis not set butHOMEis, files are loaded from$HOME/nprolog/. - Otherwise, the given name is used as-is. If it lacks an extension,
.plis appended.
In all cases, if the file name already contains a dot (.), it is assumed to include an extension and .pl will not be added.
On Linux type "sudo make uninstall" on terminal.
To invoke npl, enter command from terminal
npl
-c option is for start up file.
e.g.
npl -c init.pl
-r option is for Not editable REPL mode.
Default, REPL is editable.
other option
$ npl -h
List of options:
-c filename -- NPL starts after reading the file.
-h -- display help.
-r -- NPL does not use editable REPL.
-s filename -- NPL run file with script mode.
-v -- dislplay version number.
N-Prolog aims to enjoy the experience of DEC10-Prolog from the 1980s.
N-Prolog Ver 4.20
?- length([1,2,3],X).
X = 3
yes
?- X is 2^1000.
X = 107150860718626732094842504906000181056140481170553360744375038837035105112493612249319837881569585812
7594672917553146825187145285692314043598457757469857480393456777482423098542107460506237114187795418215304
6474983581941267398767559165543946077062914571196477686542167660429831652624386837205668069376
yes
?- append(X,Y,[1,2,3]).
X = []
Y = [1,2,3];
X = [1]
Y = [2,3];
X = [1,2]
Y = [3];
X = [1,2,3]
Y = [];
no
?-
?- ['tests/queens.pl'].
yes
?- test.
....
[9,7,2,4,1,8,5,3,6]
[9,7,3,8,2,5,1,6,4]
[9,7,4,2,8,6,1,3,5]
no
?-
?- halt.
- good bye -
key-bindings are as follows:
- → move right
- ← move left
- ↑ recall history older
- ↓ recall history newer
- return insert end of line
- back-space backspace
- Esc Tab completion
You can use unicode.
動物(人間).
人間(ジョー).
動物(X) :- 人間(X).
?- ['tests/animal.pl'].
yes
?- 動物(ジョー).
yes
?- 動物(X).
X = 人間 .
yes