Planit/snap.pl at main · l4e21/Planit · 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
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
:- module(snap, [save_source/1, save_bin/1, launcher/1, get_method/4]).

:- use_module(library(pce)).
:- use_module(library(clpfd)).

:- use_module(repl, [planit_repl/0, planit_scratch/0]).
:- use_module(datime, [monthly_calendar/0, daily_calendar/0, make_entry/3, entry/4, now/2, time_delta/3, same_time/2, before/2, after/2]).
:- use_module(language, [cn_en/2, pr_en/2, pronoun/1, connective/1, noun/1, verb/1, pinyin/2, radicals/2]).

save_source(Dir, Name, ExtraDirectives) :-
    format(string(File), "~s/~s.pl", [Dir, Name]),
    expand_file_name(File, [FileExpanded]),
    (exists_file(FileExpanded)
    -> write("Already exists. Overwrite? Y/N"),
       nl,
       (read('Y')
       -> true
       ; fail)
    ; true),
    open(FileExpanded, write, Stream),
    module_property(Name, exports(Exports)),
    with_output_to(Stream,
                   (format(":- module(~s, ~w).\n", [Name, Exports]),
                    forall(member(Directive, ExtraDirectives), format(":- ~w.\n", [Directive])),
                    listing(Name:_))),
    close(Stream).

:- multifile to_save/2.

to_save(snap, [use_module(library(pce)),
               use_module(library(clpfd)),
               use_module(datime, [monthly_calendar/0, daily_calendar/0, make_entry/3, entry/4, now/2, time_delta/3, same_time/2, before/2, after/2]),
               use_module(repl, [planit_repl/0, planit_scratch/0]),
               use_module(language, [cn_en/2, pr_en/2, pronoun/1, connective/1, noun/1, verb/1, pinyin/2, radicals/2])]).


save_source(Dir) :-
    forall(to_save(Name, ExtraDirectives),
           save_source(Dir, Name, ExtraDirectives)).

save_bin(Dir) :-
    format(string(File), "~s/planit", [Dir]),
    expand_file_name(File, [FileExpanded]),
    qsave_program(FileExpanded).


:- multifile app/2.

launcher(Dialog) :-
    new(Dialog, dialog("Welcome to Planit")),
    forall(app(Name, App), send(Dialog, append, button(Name, message(@prolog, App)))),
   send(Dialog, open).


get_method(Obj, Name, Type, Summary) :-
    get(Obj, class, Class),
    (get(Class, get_methods, MethodChain), Type="get"; get(Class, send_methods, MethodChain), Type="send"),
    chain_list(MethodChain, Methods),
    member(Method, Methods),
    get(Method, name, Name),
    get(Method, summary, SummaryObj),
    get(SummaryObj, value, Summary).

% ?- new(P, window), get_method(P, Name, Type, Summary).

% ?- launcher(D).

% ?- save_source("~/prolog/timeplans/").

% ?- save_bin("~/prolog/timeplans/").

% ?- qsave_program('../timeplans/timeplan').

% ?- module_property(snap, exports(E)).

% ?- assertz(datime:rainy(2025/3/D)).

% ?- datime:make_entry(entry(2025/3/D, 10:0, 17:20, "Board Games"), true, time:rainy(2025/3/D)).

% ?- datime:make_entry(entry(2025/3/19, 10:0, 11:40, "See Doctor"), true, true).

% ?- datime:make_entry(entry(2025/3/20, 9:0, 17:0, "Work on planner"), true, true).

% ?- qsave_program('../timeplans/timeplan').

% ?- language:cn_en(X, "person").