Gentoo Packages
Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
  • Home
  • Packages
  • Maintainers
  • USE flags
  • Architectures
  • About

dev-lang/
swi-prolog

Versatile implementation of the Prolog programming language

https://www.swi-prolog.org/

Overview Dependencies QA report Pull requests 0 Bugs 7 Security 0 Changelog

Bug Reports

  • dev-lang/swi-prolog-9.3.9 - ...//work/swipl-9.3.9/src/pl-wam.c:2712: PL_open_query: Assertion failed: parentFrame(top) == environment_frame
    951626 - Assigned to Gentoo Prolog project
  • dev-lang/swi-prolog-9.3.9 fails to compile: FAILED: pgo-run.stamp pgo-run.stamp
    946909 - Assigned to Gentoo Prolog project
  • dev-lang/swi-prolog-9.3.9 - [libtool] [gcc-15] /.../pl-prof.c: error: passing argument 2 of set_sighandler from incompatible pointer type [-Wincompatible-pointer-types]
    943941 - Assigned to Gentoo Prolog project
  • dev-lang/swi-prolog-9.3.9 - [libtool] [llvm] ERROR: .../pl-wam.c:3344: int PL_next_solution_LD(PL_local_data_t , qid_t): Assertion failed: LD->exception.throw_environment
    941470 - Assigned to Gentoo Prolog project
  • dev-lang/swi-prolog-9.1.2-r1 fails tests: 4 - swipl:core (SEGFAULT)
    926325 - Assigned to Gentoo Prolog project
  • dev-lang/swi-prolog-9.1.2-r1 - fails swipl:basic, swipl:core, swipl:transaction tests
    901037 - Assigned to Gentoo Prolog project
  • dev-lang/swi-prolog-8.5.12[java] preserved libs after depclean
    855203 - Assigned to Gentoo Prolog project

Description

Gentoo Bugzilla is where we track bugs of Gentoo and its packages; you are welcome to report, confirm and resolve bugs:
  • File a new Bug
  • Confirm a bug
  • Participate in our monthly Bugday

Shortcuts

  • Packages Bugs (7)
  • Stabilization Bugs (0)
  • Keywording Bugs (0)
© 2001–2025 Gentoo Authors
Gentoo is a trademark of the Gentoo Foundation, Inc. and of Förderverein Gentoo e.V. The contents of this document, unless otherwise expressly stated, are licensed under the CC-BY-SA-4.0 license. The Gentoo Name and Logo Usage Guidelines apply.
Contact
v1.0.3