SWI-Prolog Guitracer X-serveur

Question

L'erreur suivante apparaît lorsque je tente d'utiliser le guitracer pour tracer mon code SWI-Prolog en utilisant un terminal Cygwin:

[PCE fatale: @/Affichage: Failed pour se connecter à serveur X à ` ': pas variable d'environnement DISPLAY

---

• Vous devez exécuter l'environnement de fenêtrage X11. Si vous êtes, *
• vérifiez également le paramètre de votre variable d'environnement DISPLAY *

• les droits d'accès à votre serveur X11. Voir xauth (1) et xhost (1). *

  ---

  Envoyer méthode

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

  [22] sur @ 3221888617/prolog_debugger: prolog_debugger-> initialiser (0, principal) [21] 'c_call_prolog de $ [20] pce_principal: envoyer (nouveau (_G397, prolog_debugger (0, principal)), ouvert) [19] prolog_gui: send_pce (prolog_gui: envoyer (nouveau (_G397, prolog_debugger (0, principal)), ouvert))

I J'ai essayé de changer le DISPLAY var iable mais il demande alors:

[PCE fatale: @/Affichage: Impossible de se connecter à serveur X à `:. 0.0 ': Adresse malformé:: 0.0.

---

• Vous devez exécuter l'environnement de fenêtrage X11. Si vous êtes, *
• vérifiez également le paramètre de votre variable d'environnement DISPLAY *

• les droits d'accès à votre serveur X11. Voir xauth (1) et xhost (1). *

  ---

  Envoyer méthode

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

  [22] sur @ 3221888913/prolog_debugger: prolog_debugger-> initialiser (0, principal) [21] 'c_call_prolog de $ [20] pce_principal: envoyer (nouveau (_G397, prolog_debugger (0, principal)), ouvert) [19] prolog_gui: send_pce (prolog_gui: envoyer (nouveau (_G397, prolog_debugger (0, principal)), ouvert))

Answer 1

Le programme que vous exécutez requ Ires un serveur X11 pour rendre sa sortie. La variable d'environnement DISPLAY doit pointer vers ce serveur X11. Il ne suffit pas de définir la variable d'environnement. Il doit pointer vers une implémentation réelle de X11.

Sous Windows, vous pouvez utiliser Xming comme implémentation de X11.