Summary
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/
Versions
v5.18 :: 0 :: gentoo
- Modified
- License
- BSD-2
- Keywords
- amd64 ~x86
- USE flags
- doc
v5.16 :: 0 :: gentoo
- Modified
- License
- BSD-2
- Keywords
- ~amd64 ~x86
- USE flags
- doc
v4.93 :: 0 :: gentoo
- Modified
- License
- BSD-2
- Keywords
- amd64 ~x86
- USE flags
- doc
v4.84 :: 0 :: gentoo
- Modified
- License
- BSD-2
- Keywords
- amd64 ~x86
- USE flags
- doc
USE flags
General
- doc
- Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-lang/nprolog: Stabilize 5.18 amd64, #976150
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-lang/nprolog: Stabilize 4.93 amd64, #974918
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/nprolog: bump to 5.18
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/nprolog: drop old 5.15
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/nprolog: drop old 5.11
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/nprolog: drop old 5.00
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/nprolog: drop old 4.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 5.16
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/nprolog: bump to 5.15
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/nprolog: bump to 5.11
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/nprolog: drop old 4.83
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/nprolog: drop old 4.82
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-lang/nprolog: Stabilize 4.84 amd64, #972652
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/nprolog: bump to 5.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 4.93
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/nprolog: drop old 4.81
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/nprolog: drop old 4.79
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Eli Schwartz · gentoo
dev-lang/nprolog: Stabilize 4.82 amd64, #971813
Signed-off-by: Eli Schwartz <eschwartz@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/nprolog: bump to 4.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 4.84
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/nprolog: bump to 4.83
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/nprolog: bump to 4.82
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/nprolog: drop old 4.78
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/nprolog: drop old 4.76
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-lang/nprolog: Stabilize 4.79 amd64, #969820
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/nprolog: disable cppcheck pseudo-tests
Closes: https://bugs.gentoo.org/969634 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/nprolog: bump to 4.81
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/nprolog: bump to 4.79
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/nprolog: bump to 4.78
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/nprolog: drop old 4.72
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-lang/nprolog: Stabilize 4.76 amd64, #968040
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/nprolog: bump to 4.76
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/nprolog: drop old 4.61
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/nprolog: drop old 4.55
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/nprolog: drop old 4.37
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
dev-lang/nprolog: Stabilize 4.72 amd64, #964672
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
dev-lang/nprolog: Stabilize 4.61 amd64, #963718
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-lang/nprolog: Stabilize 4.55 amd64, #962612
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/nprolog: drop old 4.71
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/nprolog: bump to 4.72
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/nprolog: bump to 4.71
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/nprolog: drop old 4.50
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/nprolog: drop old 4.49
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/nprolog: drop old 4.47
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/nprolog: bump to 4.61
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/nprolog: bump to 4.55
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/nprolog: bump to 4.50
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/nprolog: drop old 4.08
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
dev-lang/nprolog: Stabilize 4.37 amd64, #960072
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/nprolog: bump to 4.49
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/nprolog: drop old 4.43
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/nprolog: drop old 4.40
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/nprolog: bump to 4.47
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/nprolog: drop old 4.36
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/nprolog: drop old 4.32
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/nprolog: bump to 4.43
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/nprolog: bump to 4.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 4.21
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/nprolog: drop old 4.20
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/nprolog: bump to 4.37
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/nprolog: drop old 4.05
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
dev-lang/nprolog: Stabilize 4.08 amd64, #956867
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/nprolog: drop old 4.35
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/nprolog: bump to 4.36
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/nprolog: bump to 4.35
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/nprolog: drop old 4.31
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/nprolog: bump to 4.32
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/nprolog: bump to 4.31
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/nprolog: bump to 4.21
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/nprolog: bump to 4.20
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/nprolog: bump to 4.08
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/nprolog: drop old 4.00
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/nprolog: drop old 3.98
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Maciej Barć · gentoo
dev-lang/nprolog: drop old 3.88
Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-lang/nprolog: Stabilize 4.05 amd64, #954675
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
dev-lang/nprolog: Stabilize 4.00 amd64, #953236
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
dev-lang/nprolog: bump to 4.05
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.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>