dev-lang / nprolog

Interpreter and compiler to be compatible with Arity/Prolog32

Official package sites : https://github.com/sasagawa888/nprolog/ ·

N-Prolog(NPL) is an interpreter and compiler to be compatible with Arity/Prolog32. N-Prolog is NOT ISO-Prolog. About Arity/prolog32 see http://petergabel.info/ArityProlog32/ArityProlog32PredList/

v4.00 :: 0 :: gentoo

Modified
License
BSD-2
Keywords
~amd64 ~x86
USE flags
doc

v3.98 :: 0 :: gentoo

Modified
License
BSD-2
Keywords
~amd64 ~x86
USE flags
doc

v3.88 :: 0 :: gentoo

Modified
License
BSD-2
Keywords
amd64 ~x86
USE flags
doc

General

doc
Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/nprolog: drop old 3.53
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-lang/nprolog: Stabilize 3.88 amd64, #950598
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/nprolog: drop old 3.92
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Maciej Barć · gentoo
dev-lang/nprolog: drop old 3.90
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Maciej Barć · gentoo
dev-lang/nprolog: drop old 3.89
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Maciej Barć · gentoo
dev-lang/nprolog: bump to 4.00
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/nprolog: bump to 3.98
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/nprolog: bump to 3.92
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/nprolog: bump to 3.90
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/nprolog: bump to 3.89
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/nprolog: bump to 3.88
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Maciej Barć · gentoo
dev-lang/nprolog: drop old 3.41
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Maciej Barć · gentoo
dev-lang/nprolog: drop old 3.36
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-lang/nprolog: Stabilize 3.53 amd64, #947542
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/nprolog: drop old 3.51
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Maciej Barć · gentoo
dev-lang/nprolog: drop old 3.45
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/nprolog: bump to 3.53
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/nprolog: bump to 3.51
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/nprolog: bump to 3.45
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/nprolog: drop old 3.40
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Maciej Barć · gentoo
dev-lang/nprolog: bump to 3.41
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/nprolog: bump to 3.40
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/nprolog: drop old 3.33
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Maciej Barć · gentoo
dev-lang/nprolog: drop old 3.22
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Maciej Barć · gentoo
dev-lang/nprolog: drop old 1.94
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-lang/nprolog: Stabilize 3.36 amd64, #942674
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/nprolog: bump to 3.36
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/nprolog: drop old 3.32
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Maciej Barć · gentoo
dev-lang/nprolog: drop old 3.31
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Maciej Barć · gentoo
dev-lang/nprolog: drop old 3.30
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Maciej Barć · gentoo
dev-lang/nprolog: bump to 3.33
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/nprolog: bump to 3.32
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/nprolog: bump to 3.31
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/nprolog: fix implicit addwstr
Closes: https://bugs.gentoo.org/939034 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/nprolog: drop old 3.10
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Maciej Barć · gentoo
dev-lang/nprolog: drop old 2.50
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Maciej Barć · gentoo
dev-lang/nprolog: bump to 3.30
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/nprolog: bump to 3.22
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/nprolog: bump to 3.10
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/nprolog: bump to 2.50
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/nprolog: drop old 1.92
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-lang/nprolog: Stabilize 1.94 amd64, #899198
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/nprolog: bump to 1.94
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-lang/nprolog: new package; add 1.92
Signed-off-by: Maciej Barć <xgqt@gentoo.org>