PROP_Assignment3/filewriter.pl at master · pkekkonen/PROP_Assignment3 · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
/***
Peter Idestam-Almquist, 2019-12-09.
***/

write_to_file(OutputFile,ParseTree,Variables):-
	open(OutputFile,write,OutputStream),
	write(OutputStream,'PARSE TREE:'),
	nl(OutputStream),
	writeln_term(OutputStream,0,ParseTree),
	nl(OutputStream),
	write(OutputStream,'EVALUATION:'),
	nl(OutputStream),
	write_list(OutputStream,Variables),
	close(OutputStream).

writeln_term(Stream,Tabs,int(X)):-
	write_tabs(Stream,Tabs),
	writeln(Stream,int(X)).
writeln_term(Stream,Tabs,ident(X)):-
	write_tabs(Stream,Tabs),
	writeln(Stream,ident(X)).
writeln_term(Stream,Tabs,Term):-
	functor(Term,_Functor,0), !,
	write_tabs(Stream,Tabs),
	writeln(Stream,Term).
writeln_term(Stream,Tabs1,Term):-
	functor(Term,Functor,Arity),
	write_tabs(Stream,Tabs1),
	writeln(Stream,Functor),
	Tabs2 is Tabs1 + 1,
	writeln_args(Stream,Tabs2,Term,1,Arity).

writeln_args(Stream,Tabs,Term,N,N):-
	arg(N,Term,Arg),
	writeln_term(Stream,Tabs,Arg).
writeln_args(Stream,Tabs,Term,N1,M):-
	arg(N1,Term,Arg),
	writeln_term(Stream,Tabs,Arg),
	N2 is N1 + 1,
	writeln_args(Stream,Tabs,Term,N2,M).

write_tabs(_,0).
write_tabs(Stream,Num1):-
	write(Stream,'\t'),
	Num2 is Num1 - 1,
	write_tabs(Stream,Num2).

writeln(Stream,Term):-
	write(Stream,Term),
	nl(Stream).

write_list(_Stream,[]).
write_list(Stream,[Ident = Value|Vars]):-
	write(Stream,Ident),
	write(Stream,' = '),
	format(Stream,'~1f',Value),
	nl(Stream),
	write_list(Stream,Vars).
/* Output element with incorrect variable-value format. */
write_list(Stream,[IdentValue|Vars]):-
	write(Stream,IdentValue),
	nl(Stream),
	write_list(Stream,Vars).