SWI-Prolog Guitracer X-сервер

Question

Следующая ошибка появляется, когда я пытаюсь использовать guitracer проследить мой код SWI-Prolog с использованием Cygwin терминала:

[PCE фатальным: @ дисплей/дисплей: Failed чтобы подключиться к X-серверу на ` ': нет среды DISPLAY переменную

---

• Вы должны работать под управлением среды X11 Windowing. Если вы, *
• также проверьте настройку переменной среды DISPLAY *

• права доступа к вашему серверу X11. См. Xauth (1) и xhost (1). *

  ---

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

  [22] Send-метод на @ 3221888617/prolog_debugger: prolog_debugger-> инициализирует (0, основной) [21] '$ c_call_prolog' [20] pce_principal: отправить (новый (_G397, prolog_debugger (0, основной)), открыт) [19] prolog_gui: send_pce (prolog_gui: отправить (новый (_G397, prolog_debugger (0, основной)), открытый))

Я 'попытался изменить DISPLAY var iable но затем предлагает:

[PCE фатальным: @ дисплей/дисплей: Не удалось подключиться к X-серверу на `: 0,0. ': неправильный формат адреса:: 0.0.

---

• Вы должны работать под управлением среды X11 Windowing. Если вы, *
• также проверьте настройку переменной среды DISPLAY *

• права доступа к вашему серверу X11. См. Xauth (1) и xhost (1). *

  ---

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

  [22] Send-метод на @ 3221888913/prolog_debugger: prolog_debugger-> инициализирует (0, основной) [21] '$ c_call_prolog' [20] pce_principal: отправить (новый (_G397, prolog_debugger (0, основной)), открыт) [19] prolog_gui: send_pce (prolog_gui: отправить (новый (_G397, prolog_debugger (0, основной)), открытый))

Answer 1

программа, которую вы выполняете сервер X11 выводит свой вывод. Переменная среды DISPLAY должна указывать на этот сервер X11. Недостаточно просто определить переменную окружения. Он должен указывать на фактическую реализацию X11.

В Windows вы можете использовать Xming как реализацию X11.