fznslurp.pl
2.31 KB
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
% == No, Emacs this is -*-Prolog-*- code, not what you thought... =============
:- initialization(main).
main :-
argument_list(A),
main(A).
main([ACTION_S|REST]) :-
read_term_from_atom(ACTION_S, ACTION, [end_of_term(eof)]),
action(ACTION), !, main(REST).
main([]).
action(load(F)) :- !, see(F), action(load), seen.
action(load) :- !, load_ast(AST), g_assign(ast, AST).
action(dump) :- !, g_read(ast, AST), dump_ast(AST).
action(name) :- !,
g_read(ast, AST),
sa_names(AST, NAST),
g_assign(ast, NAST).
action(halt) :- !, halt.
action(debug) :- g_read(ast_debug, true), !, g_assign(ast_debug, false).
action(debug) :- !, g_assign(ast_debug, true).
action(ACTION) :- format("%w: unknown action.\n", [ACTION]).
% -----------------------------------------------------------------------------
%% beware: fails if load_ast/3 does not finish with 3rd arg singular list
load_ast(AST) :- g_read(ast_debug, true), !, load_ast_deb(_>[], [], [AST]).
load_ast(AST) :- load_ast(_>[], [], [AST]).
load_ast(end_of_file, AST, AST).
load_ast((IN > INT :- MOD), IN, OUT) :-
call(MOD),
read(OP), !,
load_ast(OP, INT, OUT).
load_ast((IN > INT), IN, OUT) :-
read(OP), !,
load_ast(OP, INT, OUT).
load_ast_deb(end_of_file, AST, AST).
load_ast_deb((IN > INT :- MOD), IN, OUT) :-
( call(MOD) -> format("EXT OK ~q\n", [MOD]) ;
format("EXT FAIL ~q\n", [MOD]), fail ),
read(OP), !,
writeq(IN), write('.'), nl,
writeq(OP), nl,
load_ast_deb(OP, INT, OUT).
load_ast_deb(IN > INT, IN, OUT) :-
read(OP), !,
writeq(IN), write('.'), nl,
writeq(OP), nl,
load_ast_deb(OP, INT, OUT).
% -----------------------------------------------------------------------------
dump_ast(fzn(PREDS, VARS, CONSTRS, SOLVE)) :-
!,
format("AST:\n", []),
format(" preds:\n", []), PREDS=preds(PS), dump_list(PS),
format(" vars:\n", []), VARS=vars(VS), dump_list(VS),
format(" constrs:\n", []), CONSTRS=constrs(CS), dump_list(CS),
format(" goal:\n ~w\n", [SOLVE]).
dump_ast(AST) :- write(AST), nl.
% -----------------------------------------------------------------------------
dump_list([]).
dump_list([I|Is]) :- format(" ~w\n", [I]), dump_list(Is).
% -----------------------------------------------------------------------------