SWI-Prolog Guitracer X 服务器

SWI-Prolog Guitracer X-server

当我尝试使用 cygwin 终端使用 guitracer 跟踪我的 SWI-Prolog 代码时弹出以下错误:

[PCE fatal: @display/display: Failed to connect to X-server at `': no DISPLAY environment variable
*********************************************************************
* You MUST be running the X11 Windowing environment.  If you are,   *
* check the setting of your DISPLAY environment variable as well    *
* the access rights to your X11 server.  See xauth(1) and xhost(1). *
*********************************************************************
        in:     <No exception goal> 
]
Host stack: 
[23] pce_principal:send(@3221888617/prolog_debugger, icon(resource(debug)))
[22]  Send-method on @3221888617/prolog_debugger: prolog_debugger->initialise(0,main)
[21] '$c_call_prolog'
[20] pce_principal:send(new(_G397, prolog_debugger(0, main)), open)
[19] prolog_gui:send_pce(prolog_gui:send(new(_G397, prolog_debugger(0, main)), open))

我试图更改 DISPLAY 变量,但它随后提示:

[PCE fatal: @display/display: Failed to connect to X-server at `:0.0.': malformed address: :0.0.


  • You MUST be running the X11 Windowing environment. If you are, *
  • check the setting of your DISPLAY environment variable as well *
  • the access rights to your X11 server. See xauth(1) and xhost(1). *


    in:     <No exception goal> ] Host stack:  [23] pce_principal:send(@3221888913/prolog_debugger, icon(resource(debug)))
    

    [22] Send-method on @3221888913/prolog_debugger: prolog_debugger->initialise(0,main) [21] '$c_call_prolog' [20] pce_principal:send(new(_G397, prolog_debugger(0, main)), open) [19] prolog_gui:send_pce(prolog_gui:send(new(_G397, prolog_debugger(0, main)), open))

您正在执行的程序需要 X11 服务器来呈现其输出。环境变量 DISPLAY 必须指向这个 X11 服务器。仅仅定义环境变量是不够的。它必须指向 X11 的实际实现。

在 Windows 上,您可以使用 Xming 作为 X11 的实现。

通常我在 Windows 上使用 SWI-Prolog。当前版本 Windows 10.

最近我需要在 Linux、Unicode 问题上使用 SWI-Prolog。

解决方案:

  1. 在 Windows
  2. 上使用 Ubuntu 安装 WSL
  3. 通过 PPA 安装 SWI-Prolog

版本
Windows:10.0.18362 N/A 内部版本 18362
世界超级联赛:1
Ubuntu:18.04.2 LTS
SWI-Prolog:(线程,64 位,版本 8.1.22)

关注Running Graphical Applications installed VcXsrv Windows X Server

已启动 VcXsrv
开始 WSL
在 WSL 上 Ubuntu $ export DISPLAY=:0
在 WSL
上 Ubuntu 中开始 swipl 带查询的 gtrace
这将使用 GUI 调试器 运行 在 Windows 10 上启动 X-Windows 客户端。