我最近从 Windows 10 切换到 Linux。我正在尝试安装序言我按照安装说明进行操作https://www.swi-prolog.org/build/PPA.html。我在执行命令期间没有遇到任何错误apt-add repository，apt-get update并且apt-get install swi-prolog。
我原本以为会看到序言在我的应用程序中，但没有列出，无法通过搜索找到。我很困惑，因为我不知道在哪里查找。在 Windows 中，我可以在我的程序文件目录或安装的软件显示。我必须通过终端？安装还没完成吗？请帮忙。