Ich verwende ein Werkzeug in Prolog, und nachdem ich es ausgeführt habe, wird das Ergebnis auf dem Bildschirm in der Prolog-Shell angezeigt. Wie kann ich dieses Ergebnis in eine andere Datei kopieren?Ausgabe von Prolog-Ausführung speichern
-2
A
Antwort
0
in der Befehlszeile Sie können dies tun:
script <file Name>
run your prolog program
exit
0
Sie sagte nie, was Prolog-Interpreter Sie verwenden. Dieser Code funktioniert für Edinburgh-kompatible Version von Prolog, SWI-Prolog (auf Fedora) in meinem Fall.
wenn Sie eine Datei hello.pl haben:
hello_world :- write('Hello World!').
dann
consult('hello').
qsave_program(hello,[stand_alone(true),goal(hello_world)]).
beenden Dolmetscher und in der Schale:
$chmod +x hello
./hello > output_file
es nicht Shell zurückkehrt, wenn Es ist getan, also müssen Sie einen Weg finden, um zu überprüfen, ob Ihr Programm die Ausführung beendet hat oder nicht und dann Strg-d und überprüfen Sie Ihre outp ut_file hoffe das hilft
Verwandte Themen
- 1. Speichern von Shell-Ausgabe
- 2. Speichern von Daten Ausgabe, SharedPreferences
- 3. Ausgabe als Liste speichern
- 4. WordPress: Ausgabe von do_action in Variable speichern
- 5. Speichern von PSQL-Ausgabe in CSV-Datei
- 6. Speichern von awk Ausgabe auf Variable
- 7. Speichern von awk Ausgabe in Variable
- 8. sed: Ausgabe speichern und ersetzen
- 9. Ausgabe mit pycurl in Datei speichern?
- 10. Speichern "Bildschirm" (Programm) Ausgabe in eine Datei
- 11. xunit Tests nicht speichern Ausgabe xml
- 12. Wie scrapy crawl zu speichern Command Ausgabe
- 13. Capture JSP-Ausgabe, in Datei speichern
- 14. Rails-Ausgabe in eine Variable speichern
- 15. Speichern der Ausgabe von for-Schleife in einzelne Variable
- 16. Speichern zusammenfassende Ausgabe von Pcr-Objekt in r
- 17. Ausgabe von gridExtra :: grid.arrange in ein Objekt speichern
- 18. So speichern Sie die Ausgabe von "watch" in Datei
- 19. Speichern Sie die Ausgabe von Shell-Befehl in einer Variablen
- 20. Speichern von JSON in Datei, Ändern der Ausgabe, wenn vorhanden
- 21. NUnit XML-Ausgabe automatisch drucken/speichern
- 22. Twitter Gem und Rails Ausgabe speichern Benutzer
- 23. TCPDF-Ausgabe ohne Speichern der Datei
- 24. Grunt-shell Speichern Befehl Ausgabe als Variable
- 25. Docker-Ausgabe in eine Textdatei speichern
- 26. Möchten Ausgabe in einem Array speichern
- 27. Ausgabe eine Variable in einem Servlet-Speichern
- 28. Ausgabe von Scala-Arbeitsblatt löschen
- 29. Verwenden von PHP zur Ausgabe von XML
- 30. Was ist der beste Weg, RichText (WYSIWYG-Ausgabe) zu speichern?