fb18.de
/ Diplom Informatik
/ Unterbereich Grundstudium
/ Praktische Informatik
Protokollieren in Prolog
Hallo!
Bei der ersten Übung sollen wir ja unsere Eingaben bei Prolog protokollieren, aber wie?
Hab bei der Hilfe folgenden Befehl gefunden: protocol/1
Aber wie verwende ich den richtig und wo ist dann das Protokol?
Eine ganz simple Methode ist, alle Ein-/Ausgaben von UNIX protokollieren zu lassen:
$ script <filename>
$ pl
?- …
?- halt.
$ exit
Unter <filename> findet man dann ein Protokoll aller Ein-/Ausgaben (leider auch alle BS und DEL …)
Gruss
Michael Koenig
Ansonsten in Prolog:
?- protocol('Protokoll-Filename').
Ansonsten in Prolog:
?- protocol('Protokoll-Filename').
ja, hab ich gemacht. aber wo ist dann das protokoll?
habt ihr keine erb? *g* (da haben die das uns erklärt… mit emacs gehts auch recht einfach..)
ansonsten tun es stift & zettel sicherlich auch noch ;) (oder ein handelsüblicher texteditor *g*)
ich habe einfach mit Copy und Paste in meine Word-datei reingeschteckt. Wir schicken das so wie so per Mail.
Ihr schickt das aber hoffentlich nicht als Word-Datei?
Für P1:
/home/j99/9schaefe/bin/p1install
ausführen, emacs21 starten, Prolog-datei öffnen, im Menü "run prolog" auswählen, weitere Menü-Optionen durchschauen, glücklich sein.
Eine Emacs-Einführung gibts unter
http://www.stud.uni-hamburg.de/~jorgen/texte/emacs.html , weitere Tipps zu Prolog unter
http://www.stud.uni-hamburg.de/~jorgen/P1/prolog.html . Insbesondere die Erklärung zum guitracer sollte sich jeder anschauen.
Viel Spaß!
Ihr schickt das aber hoffentlich nicht als Word-Datei?
Wie redest Du hier mit Frauen?
Mo
Für P1: /home/j99/9schaefe/bin/p1install
ausführen, emacs21 starten, Prolog-datei öffnen, im Menü "run prolog" auswählen, weitere Menü-Optionen durchschauen, glücklich sein.
Eine Emacs-Einführung gibts unter
http://www.stud.uni-hamburg.de/~jorgen/texte/emacs.html, weitere Tipps zu Prolog unter http://www.stud.uni-hamburg.de/~jorgen/P1/prolog.html. Insbesondere die Erklärung zum guitracer sollte sich jeder anschauen.
Viel Spaß!
Tut uns leid…
…die angeforderte Seite konnte auf diesem Server nicht gefunden werden…
???
Satzzeichen sind selbstständig aus der URL zu entfernen.
ach mensch…
da kann man ohne viel Nachdenken auch selbst drauf kommen.
Die obere URL enthält am Ende ein , (Komma).
Weg damit und fertig.
ach…
und die untere nen punkt :)
ach mensch…
da kann man ohne viel Nachdenken auch selbst drauf kommen.
Die obere URL enthält am Ende ein , (Komma).
Weg damit und fertig.
[img]
http://www.fb18.de/gfx/10.gif[/img]
Kann ja nich wissen, dass man freitag abend auch noch nachdenken muss, wenn man einen Link aufruft… sowas… [img]
http://www.fb18.de/gfx/15.gif[/img]
Satzzeichen sind selbstständig aus der URL zu entfernen.
Wenn man darauf achtet und nicht blind den Link aufruft wie ich vorhin natürlich… [img]
http://www.fb18.de/gfx/28.gif[/img]
Die Links habe ich mal gefixt.
Und Word-Dateien sollte man wirklich nciht als Abgabe verschicken, wenn man was ausgedrucktes abgibt, okay. Aber Word-Dateien führen im besten Fall zu murrendem Annehmen und bitte das nicht wieder zu tun, im schlimmsten Fall gibts Leute die das (mit ankündigung natürlich) einfach nicht werten.
joa am besten ist pdf oder sowas… geht z.b. mit open office ja ganz einfach ("Datei -> Exportieren als pdf")
hmm, soweit die Übungsgruppenleiter nix anderes sagen würde ich in P1 NUR Ascii abgeben (zumindest elektronisch). So wurde das zumindest in der Übungsgruppenleitersitzung besprochen. Zumal wenn ihr eure Prologprogramme irgendwann abgeben müßt sind die ja auch als Quellcode Ascii (ich glaube nicht, dass einer der Übungsgruppenleiter einen Word2PL-Converter programmiert hat). Selbst Prosa geht wunderbar in Ascii, denkt bitte nur an die Zeilenumbrüche, ich weiß nicht welche komischen Texteditoren von den Leuten benutzt werden [img]
http://www.fb18.de/gfx/28.gif[/img]. Wenn ihr später mehrere Dateien abgeben müßt ist es sicherlich legitim die Lösungen zu Packen damit ihr nur eine Datei verschicken müßt.
P.S. Ich hab als Übungsgruppenleiter Worddateien grundsätzlich nicht geöffnet (und es auch angekündigt, war dann auch niemand so blöd). Da es (laut Brunnstein) ja auch PDF-Viren gibt (siehe Verantwortungsvorlesung in der OE) ist PDF natürlich auch nicht die Idial-Lösung.
Ack, PDF hat die Nachteile, dass man zum einen im gegensatz zu einer Plaintext-Mail noch zusätzliche Schritte machen muss um es zu drucken (und das nervt wenn man 20 EInsendungen ausdruckt) und copy&paste nicht mehr geht um kleine Programmtextstücke mal ins Prolog-System zum Testen zu schicken. Plaintext ist ja nun wirklich nicht böse
Achja: Gewöhnt euch an in JEDE Datei die ihr abgebt eure Namen reinzuschreiben. Angenommen es bekommt ein Übungsgruppenleiter die Zettel ein bischen durcheinander, dann helfen die Namen doch enorm.
Und solltet ihr doch jemals auf die Idee kommen zu schummeln ändert dann wenigstens den Namen in jeder Datei … [img]
http://www.fb18.de/gfx/15.gif[/img]
Davon abgesehen habt ihr hier kaum einen Gewinn, der Selbstbetrug kommt garantiert bei der nächsten Prüfung zum Vorschein. [img]
http://www.fb18.de/gfx/8.gif[/img]
Wer ernsthafte Probleme hat möge doch lieber in eins der Tutorien (Montag 15-17 Uhr, Mittwochs in der Zeit von 14 bis 18 Uhr, jeweils in D-016/17) kommen. [img]
http://www.fb18.de/gfx/28.gif[/img]
ok als ich p1 hatte wollte der übungsgruppenleiter immer "am besten pdf" aber plaintext hat natürlich auch vorteile ;)
und viren kann es natürlich für alle dateien geben, solange die darstellungsprogramme fehler besitzen… also auch für pdf.
Ack, PDF hat die Nachteile, dass man zum einen im gegensatz zu einer Plaintext-Mail noch zusätzliche Schritte machen muss um es zu drucken (und das nervt wenn man 20 EInsendungen ausdruckt) und copy&paste nicht mehr geht um kleine Programmtextstücke mal ins Prolog-System zum Testen zu schicken.
Copy/Paste sollte bei den meisten PDFs kein Problem sein, da dies in den meisten PDFs nicht verboten wurde (und z.B. xpdf unterstützt das genauso einfach wie ein terminal).
Soweit ich weiß unterstützen zumindest einige Drucker im RZ inzwischen das direkte Drucken von PDFs (weil es einfach zu oft vorkommt [img]
http://www.fb18.de/gfx/22.gif[/img]) und zuhause geht das mit cups auch recht automatisch. Wenn sich Dein Mailclient also nicht gerade weigert, sehe ich da keinen Mehraufwand.
Da PDF ähnlich Postscript eine vollwertige Programmiersprach darstellt, lassen sich damit natürlich auhc Viren programmieren. Es gibt allerdings recht wenige, die auch eher experimenteller Natur sind. Schlimmer ist da die direkte Integration von Javascript, Flash, … in den Acrobat Reader (die man allerdings per Hand deaktivieren kann).
Trotz allem ist es bei solchen Aufgaben hier natürlich viel einfacher, die als ASCII abzugeben. PDFs sind meiner Meinung nach erst siinnvoll, wenn man Formeln oder Grafiken in den Lösungen drin hat.
Da PDF ähnlich Postscript eine vollwertige Programmiersprach darstellt, lassen sich damit natürlich auhc Viren programmieren. Es gibt allerdings recht wenige, die auch eher experimenteller Natur sind. Schlimmer ist da die direkte Integration von Javascript, Flash, … in den Acrobat Reader (die man allerdings per Hand deaktivieren kann).
Im Gegensatz zu Postscript stellt PDF gerade keine vollwertige Programmiersprache zur Verfügung. Soweit ich das gerade überblicke, hat PDF im Gegensatz zu Postscript zumindest keine Prozeduren, keine Schleifen, keine Datei-Ein- und Ausgabeoperatoren.
Roland
Stimmt, man sollte eigenes Halbwissen nicht weiterverbreiten [img]
http://www.fb18.de/gfx/12.gif[/img]
Ich war der Meinung der Interpreter ist immer noch fast Postscript-äquivalent, habe mir die PDF-Spezifikationen aber nie genau angeschaut.
Aus dem Anlass sollte ich mich auch nochmal bzgl. der PDF-Viren korrigieren. Ich habe heute mal etwas gesucht, aber keinen nativen PDF-Virus gefunden. Selbst der bekannte "Peachy" (
McAfee,
F-Secure) ist nur eine eingebettetes VBScript. Tja, schade dass es GBI nicht mehr gibt. Das wäre eine interessante Diskussion geworden [img]
http://www.fb18.de/gfx/15.gif[/img]
Ihr könnt euch auch einfach per SSH auf rzdspc3.informatik.uni-hamburg.de einloggen und "pl-emacs" starten.
Mit ESC-x (ESC-Taste und x-Taste drücken) run-prolog könnt ihr den Prolog Interpreter im Emacs starten.
Jetzt einfach ein paar Befehle eingeben und das Protokoll mit Ctrl-x, Ctrl-s speichern.
pl-emacs funktioniert aber nur, wenn die entsprechende .bashrc aus der ERB ausgeführt wird und die Bash als Shell genutzt wird. Bei meinem Jahrgang wäre das dann /home/j2003/erb/.bashrc-erb
Manche haben evtl. schon voreilig ihre ~/.bashrc modifiziert, so dass die o.g. Datei nicht mehr geladen wird. Die entsprechende Zeile für pl-emacs kann natürlich auch manuell eingefügt werden:
alias pl-emacs='emacs -l /home/j2003/erb/.emacs-pl'
Zitat:
Wie redest Du hier mit Frauen?
Mo
Danke!!!
Keine Sorge Jungs (vielleivht auch Medels)
Ich bin mitlerweile im 5. Semester (3.Fachsemester) und habe mir schon längst PDF-Creator besorgt. Und auf jedem Blatt habe ich Kopf- und Fußdings reingestellt, somit habe ich automatisch meine Daten auf jeder Seite.
Und mit unserem Ü.Leiter haben wir es so besprochen, ihn ist es ganz egal ob Word, Edit oder pdf.
Ah übregens, wie mache ich Zitat blau?
Ah übregens, wie mache ich Zitat blau?
Du musst die quote-Tags korrekt oeffnen und schliessen, du hattest sie um dein komplettes Posting, daher wurden sie wohl ausgefiltert. Klick mal bei einem Posting mit Zitat auf "Zitieren", dann siehst du die Struktur. Du musst dann *hinter* dem schliessenden schreiben.