-
Notifications
You must be signed in to change notification settings - Fork 0
/
text_to_breasonings.txt
105 lines (59 loc) · 1.76 KB
/
text_to_breasonings.txt
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
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
% grammar_logic_to_alg2.pl instructions
% breason out file.txt using t2b
% run gramm log
% run gl2a
% run t2b reading on gl2a output
cd GitHub/Text-to-Breasonings/
%truncate -s 2000 file.txt
swipl
%['truncate.pl'].
%truncate1("file.txt",14000,"file.txt").
% ['truncate_words_conserving_formatting.pl'].
%truncate_words_conserving_formatting(["file","file.txt"],14000,["file","file.txt"]).
['text_to_breasonings.pl'].
N=1,M=14000,texttobr2(N,"file.txt",u,M,false,false,false,false,false,false).
% ******* STOP HERE, THEN DO BELOW
N=1,M=14000,texttobr(N,"file.txt",u,M).
halt.
cd ../Algorithm-Writer-with-Lists/
swipl
['grammar_logic_to_alg.pl'].
FileName2='./gl2a.txt',
FileName3='gl2a.txt',
protocol(FileName2).
notrace.
grammar_logic_to_alg1.
noprotocol.
halt.
cd ../Algorithm-Writer-with-Lists/
swipl
['../Text-to-Breasonings/text_to_breasonings.pl'].
FileName2='./gl2a.txt',
FileName3='gl2a.txt',
time((W is 6*4,texttobr2(u,FileName3,u,u,false,false,false,false,false,false,W),texttobr(1,FileName3,u,u))).
% atom_concat('echo "" | mutt -s "T Profs 1" [email protected] -a ',FileName3,A1),
% shell1(A1).
halt.
mv gl2a.txt ../Text-to-Breasonings/file.txt
cd ../Algorithm-Writer-with-Lists/
swipl
['grammar_logic_to_alg2.pl'].
FileName2='./gl2a2.txt',
FileName3='gl2a2.txt',
protocol(FileName2).
notrace.
grammar_logic_to_alg2(24).
% ******* STOP HERE, THEN DO BELOW
noprotocol.
halt.
%mv gl2a2.txt ../.
%cd ../
swipl
['../Text-to-Breasonings/text_to_breasonings.pl'].
FileName2='./gl2a2.txt',
FileName3='gl2a2.txt',
time((W is 6*4,texttobr2(u,FileName3,u,u,false,false,false,false,false,false,W),texttobr(1,FileName3,u,u))).
% atom_concat('echo "" | mutt -s "T Profs 1" [email protected] -a ',FileName3,A1),
%shell1(A1).
halt.
logout