N-Prolog　A small Prolog implementation

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　N-Prolog is not strictly ISO compliant, but it covers almost all ISO-Prolog core features required for educational use.

license is modified BSD. Note: We later became aware that another system with the same name, N-Prolog, already existed. This project is unrelated.

Relation to ISO-Prolog

Although N-Prolog is a superset of ARITY/Prolog, it also implements most ISO-Prolog predicates. In addition, by adding the -d option at startup, strings are represented using double quotes, just as in ISO. For study and educational purposes, ISO-Prolog code can be sufficiently reproduced. Please refer to SUPER.md for details.

Installation

In home directory ,make clone or download zip file from github. Change to the git cloned or downloaded N-Prolog directory.

• Type "sudo make install".

Update N-Prolog

• Type "sudo make clean".
• Type "sudo make install".

N-Prolog requires ncurses library. Please install ncurses.

sudo apt install libncurses-dev

Supported OS:

• Raspberry Pi OS

• Ubuntu

• Linux Mint

• Use of other operating systems is at your own discretion. Unsupported Operating Systems Operating systems other than the officially supported ones (Raspberry Pi OS, Ubuntu, Mint) are not officially supported, as I do not have the hardware or sufficient experience to properly test them. If you wish to run this project on an unsupported OS, please feel free to adapt the code on your own. If your modifications are successful, we encourage you to publish a branch so that others can benefit from your work.

File Path Resolution in N-Prolog

When loading files, N-Prolog automatically resolves file paths based on the following rules:

1. Relative paths (starting with ./ or ../) are used directly. If no extension is present, .pl is appended.
2. If the environment variable NPROLOG_HOME is set, files are loaded from that directory.
3. If NPROLOG_HOME is not set but HOME is, files are loaded from $HOME/nprolog/.
4. Otherwise, the given name is used as-is. If it lacks an extension, .pl is 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.

Uninstall

On Linux type "sudo make uninstall" on terminal.

invoke

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.
-d          -- string is double quote.
-f          -- NPL treats undefined errors as fail.
-h          -- display help.
-l          -- display Lisp like S.
-m N        -- NPL runs with N(30>=N>=10) mega cells.
-n          -- NPL runs with network mode.
-r          -- NPL does not use editable REPL.
-s filename -- NPL runs file with script mode.
-v          -- dislplay version number.

Goal

N-Prolog aims to enjoy the experience of DEC10-Prolog from the 1980s.

Video

N-Prolog in 1 minute Tutorials

example

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 -

Editable REPL

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

unicode

You can use unicode.

動物(人間).
人間(ジョー).

動物(X) :- 人間(X).

?- ['tests/animal.pl'].
yes
?- 動物(ジョー).
yes
?- 動物(X).
X = 人間 .
yes

Dosuments

This document provides an overview of many documents. Please read it first.

This is the user manual for N-Prolog.

This is a description of the Prolog code checker library using static analysis.

This is a description of the CLP(FD) library.

This is a description of the N-Prolog compiler.

This is a description of the DCG library.

This is a description of Edlog, a CUI editor dedicated to N-Prolog.

This is the development history of N-Prolog.

This is a description of the JSON library.

This is a description of the List library.

This is a description of the module functionality in N-Prolog.

This is a description of Professor Hideyuki Nakashima's multiple world mechanism.

This is a library for interfacing with OpenGL.

This is a description of the distributed parallel features in N-Prolog.

This is a description of the multi-thread parallel features in N-Prolog.

This is a library for interfacing with Gnuplot.

This is a library for using TensorFlow via Python.

This is a description of the Math library.

This is a description of ISO-style predicates and other modern extended predicates.

This is a library for interfacing with Tcl/Tk.

This is a description of extended predicates for TCP/IP communication.

This is a description of how Unicode is handled in N-Prolog.

On Raspberry Pi, predicates for WiringPi are installed. This is their description.

On Raspberry Pi, predicates for libgpiod are installed. This is their description.

Library for rubik's cube (2*2)

“This software is a technology created for peace and freedom.
It does not wish to serve, in any way, as a tool for oppression, suppression, human rights violations, or dictatorship.”