swipl
Prolog Compiler
Edinburgh-style Prolog compiler including modules, autoload, libraries,
Garbage collector, stack expandor, C interface, GNU readline and GNU
Emacs interface, a very fast compiler,and an X11 interface using XPCE.
openSUSE Leap 15.5 没有可用的官方软件包