ediprolog auf Emacs seltsames Verhalten

Question

Ich bin neu zu Emacs verwenden und es anpassen.

I ediprolog

Meine .emacs-Datei zu installieren versuche ist:

custom-set-variables 
;; custom-set-variables was added by Custom. 
;; If you edit it by hand, you could mess it up, so be careful. 
;; Your init file should contain only one such instance. 
;; If there is more than one, they won't work right. 
'(inhibit-startup-screen t)) 
(custom-set-faces 
;; custom-set-faces was added by Custom. 
;; If you edit it by hand, you could mess it up, so be careful. 
;; Your init file should contain only one such instance. 
;; If there is more than one, they won't work right. 
) 

(global-set-key [f10] 'ediprolog-dwim) 

(setq load-path (cons "/home/sam/Documents/emacs/prolog" load-path)) 
(autoload 'run-prolog "prolog" "Start a Prolog sub-process." t) 
(autoload 'prolog-mode "prolog" "Major mode for editing Prolog programs." t) 
(autoload 'mercury-mode "prolog" "Major mode for editing Mercury programs." t) 
(setq prolog-system 'swi) 
(setq auto-mode-alist (append '(("\\.pl\\'" . prolog-mode) 
           ("\\.m\\'" . mercury-mode)) 
           auto-mode-alist)) 

I ediprolog mit M-x package-install RET ediprolog RET

installiert Ich habe eine Testdatei mit %?- member(X,[a,b,c]). erstellt Wenn ich F10 und space space space drücken, wenn Bei dieser Abfrage bekomme ich folgende Ausgabe:

%?- member(X,[a,b,c]). 
%@ member(X,[a,b,c]^H^H^H^H^H^H^H[a,b,c])^H^H^H^H^H^H^H^H^H^H^H(X,[a,b,c]).^M 
%@ X = a ;^M 
%@ X = b ;^M 
%@ X = c.^M 
%@^M 

Dies ist eindeutig nicht korrekt, da ich all diese zusätzlichen ^H und ^M Zeichen habe.

Auch wenn ich die Zeile (require 'ediprolog) meine .emacs wie angewiesen ich folgende Fehlermeldung beim Starten Emacs erhalten:

Warning (initialization): An error occurred while loading `/home/sam/.emacs': 

File error: Cannot open load file, no such file or directory, ediprolog 

To ensure normal operation, you should investigate and remove the 
cause of the error in your initialization file. Start Emacs with 
the `--debug-init' option to view a complete error backtrace. 

Ich habe auch die Hinweise auf https://bruda.ca/emacs/prolog-mode_installation_guide folgte den Prolog-Modus zu installieren, wenn diese relevant ist .

Answer 1

Dies wird durch SWI-Prolog des letzten Schalter in die Bibliothek editline verursacht, während es zuvor Readline- standardmäßig verwendet.

Das Problem ist jetzt gelöst.

SWI-Prolog 7.5.1 und höher enthalten eine change, die ediprolog wieder funktionieren, ohne dass Upgrades oder Konfigurationsänderungen von Emacs oder ediprolog erforderlich sind.

Auch die kommende stabile Version (7.4) von SWI-Prolog wird mit dieser Änderung ausgeliefert.

Daher sind nur sehr wenige Versionen (insbesondere 7.5.0 und 7.4-rc1) von diesem Problem betroffen.

---

Wenn Sie eine Version von SWI-Prolog verwenden, wo dieses Problem auftaucht, sind hier mögliche Abhilfen:

Eine Möglichkeit, dies zu lösen, ist die folgende in Ihrer ~/.swiplrc Initialisierungsdatei zu setzen:

 
:- set_prolog_flag(readline, readline). 

Dies sollte eine Arbeits ediprolog ergeben, Sie readline installiert haben vorausgesetzt.

Alternativ können Sie auch setzen:

 
:- set_prolog_flag(readline, false). 

in Ihrer ~/.swiplrc Initialisierungsdatei. Allerdings deaktiviert dies vollständig die Linie Bearbeitungsfunktionen von SWI-Prolog auch, wenn Sie es auf dem System-Terminal aufrufen. Sie können natürlich -f none verwenden, um die Initialisierungsdatei in solchen Fällen zu ignorieren.

Alternativ können Sie auch die folgenden in Ihrem .emacs setzen:

 
(setq ediprolog-program-switches '("-g" "set_prolog_flag(readline, false)")) 

Wenn Ihre Version von SWI-Prolog ausreichend neu ist, sind diese Abhilfen nicht mehr benötigt.

Answer 2

Für das Problem mit (require 'ediprolog), müssen Sie einfach (package-initialize) früher in Ihrem ~/.emacs hinzufügen (letzter Emacsen wird dies für Sie tun). Aber seit Sie es von ELPA installiert haben, sollten Sie require es nicht explizit benötigen: ediprolog-dwim sollte sowieso für Sie automatisch laden.