--- pl:prolog:pllib:session_logging [2019/06/27 15:50]
+++ pl:prolog:pllib:session_logging [2019/06/27 15:50] (aktualna)
@@ Linia 1: / Linia 1: @@
+====== Session logging ======
+{{tag>interface_engine}}
+===== Description =====
+Logging a session
+**Source**:  The Art of Prolog
+===== Download =====
+Program source code: {{session_logging.pl}}
+===== Listing =====
+<code prolog>
+     logg :- shell_flag(logg).
+     shell_flag(Flag) :-
+		shell_prompt, shell_read(Goal,Flag), shell(Goal,Flag).
+     shell(exit,Flag) :-
+	!, close_logging_file.
+     shell(nolog,Flag) :-
+	!, shell_flag(nolog).
+     shell(logg,Flag) :-
+	!, shell_flag(logg).
+     shell(Goal,Flag) :-
+	ground(Goal), !, shell_solve_ground(Goal,Flag), shell_flag(Flag).
+     shell(Goal,Flag) :-
+        shell_solve(Goal,Flag), shell_flag(Flag).
+     shell_solve(Goal,Flag) :-
+        Goal, flag_write(Goal,Flag), nl.
+     shell_solve(Goal,Flag) :-
+        flag_write('No (more) solutions',Flag), nl.
+     shell_solve_ground(Goal,Flag) :-
+		Goal, !, flag_write('Yes',Flag), nl.
+     shell_solve_ground(Goal,Flag) :-
+		flag_write('No',Flag), nl.
+     shell_prompt :- write('Next command? ').
+     shell_read(X,logg) :-
+		read(X),
+		file_write(['Next command? ',X],'prolog.log').
+     shell_read(X,nolog) :- read(X).
+     flag_write(X,nolog) :- write(X).
+     flag_write(X,logg) :- write(X), file_write(X,'prolog.log').
+     file_write(X,File) :- write_term(File,Term,[]).
+     close_logging_file :- close('prolog.log').
+%	Program 12.7 Logging a session
+</code>
+===== Comments =====

pl/prolog/pllib/session_logging.txt · ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)

Pokaż stronę Poprzednie wersje

Menadżer multimediów Do góry

AIwiki

Menu

Dla Studentów

Old specialized AI courses

SMaDA/SMaIDA/AIDA

Informatyka (EAIiIB)

Studia Dr

Inne materialy dydaktyczne

Archiwum

Dyplomanci

Geist Season of Code

HeKatE

Public

Różnice