Commit fb2650e61e1bd6049cea2c91d8774ab9ce6aec5b
1 parent
6e2f2ea4
Exists in
master
example usage in typescript
Showing
1 changed file
with
49 additions
and
0 deletions
Show diff stats
| @@ -0,0 +1,49 @@ | @@ -0,0 +1,49 @@ | ||
| 1 | +Script started on Tue 23 Jun 2015 10:50:19 AM JST | ||
| 2 | +spa@khawasaki:~/work/src/paccs/fzn-parser$ ./ , ./fznslurp examples/a.fzn > examples/ /a.ast | ||
| 3 | +| ?- | ||
| 4 | +spa@khawasaki:~/work/src/paccs/fzn-parser$ ./fznslurp examples/a.fzn > examples/ /a.ast [Awasaki:~/work/src/paccs/fzn-parser$ ./fznslurp[1P examples/a.fzn > examples/a.ast | ||
| 5 | + [K[Aspa@khawasaki:~/work/src/paccs/fzn-parser$ ./ | ||
| 6 | +examples/ fznslurp fzp | ||
| 7 | +spa@khawasaki:~/work/src/paccs/fzn-parser$ ./ examples/a.fzn > examples/a.ast f examples/a.fzn > examples/a.ast [Apa@khawasaki:~/work/src/paccs/fzn-parser$ ./fz examples/a.fzn > examples/a.ast [Apa@khawasaki:~/work/src/paccs/fzn-parser$ ./fzp examples/a.fzn > examples/a.ast [Aa@khawasaki:~/work/src/paccs/fzn-parser$ ./fzp | ||
| 8 | + | ||
| 9 | +spa@khawasaki:~/work/src/paccs/fzn-parser$ ./fznslurp | ||
| 10 | +GNU Prolog 1.3.0 | ||
| 11 | +By Daniel Diaz | ||
| 12 | +Copyright (C) 1999-2007 Daniel Diaz | ||
| 13 | +| ?- slurp(e 'examples/a.f ast'< , X)('examples/a.ast', X). | ||
| 14 | + | ||
| 15 | +X = [satisfy,[],constrs([constraint(int_lin_ne,(_,array(_),int):(id('X_INTRODUCED_0'),alit((_,_):(id(wa),id(nt))),lit(0)),[])]),vars([var(nt,int(1,3),[],[_:id(output_var)]),var(wa,int(1,3),[],[_:id(output_var)]),var('X_INTRODUCED_0',array(int,1,2),array(_):alit((int,int):(lit(1),lit(-1))),[])]),preds([])] | ||
| 16 | + | ||
| 17 | +yes | ||
| 18 | +| ?- slurp('examples/a.ast', X)._X).X). , member(Y X, _X)(X, _X). | ||
| 19 | + | ||
| 20 | +X = satisfy ? ; | ||
| 21 | + | ||
| 22 | +X = [] ? ; | ||
| 23 | + | ||
| 24 | +X = constrs([constraint(int_lin_ne,(_,array(_),int):(id('X_INTRODUCED_0'),alit((_,_):(id(wa),id(nt))),lit(0)),[])]) ? ; | ||
| 25 | + | ||
| 26 | +X = vars([var(nt,int(1,3),[],[_:id(output_var)]),var(wa,int(1,3),[],[_:id(output_var)]),var('X_INTRODUCED_0',array(int,1,2),array(_):alit((int,int):(lit(1),lit(-1))),[])]) ? ; | ||
| 27 | + | ||
| 28 | +X = preds([]) ? ; | ||
| 29 | + | ||
| 30 | +no | ||
| 31 | +| ?- slurp('examples/a.ast', _X), member(X, _X).X, _X). _, _X)., _X). v, _X).a, _X).r, _X).s, _X).(, _X)._, _X).Y, _X).), _X).(_Y), _X). , member(_ Y, _Y)(Y, _Y). | ||
| 32 | + | ||
| 33 | +Y = var(nt,int(1,3),[],[_:id(output_var)]) ? ; | ||
| 34 | + | ||
| 35 | +Y = var(wa,int(1,3),[],[_:id(output_var)]) ? ; | ||
| 36 | + | ||
| 37 | +Y = var('X_INTRODUCED_0',array(int,1,2),array(_):alit((int,int):(lit(1),lit(-1))),[]) ? ; | ||
| 38 | + | ||
| 39 | +no | ||
| 40 | +| ?- slurp('examples/a.ast', _X), member(vars(_Y), _X), member(Y, _Y).(_Y), _X), member(Y, _Y). (_Y), _X), member(Y, _Y). (_Y), _X), member(Y, _Y). (_Y), _X), member(Y, _Y). c(_Y), _X), member(Y, _Y).o(_Y), _X), member(Y, _Y).n(_Y), _X), member(Y, _Y).s(_Y), _X), member(Y, _Y).t(_Y), _X), member(Y, _Y).r(_Y), _X), member(Y, _Y).e(_Y), _X), member(Y, _Y).(_Y), _X), member(Y, _Y). s(_Y), _X), member(Y, _Y).(_Y), _X), member(Y, _Y). | ||
| 41 | + | ||
| 42 | +Y = constraint(int_lin_ne,(_,array(_),int):(id('X_INTRODUCED_0'),alit((_,_):(id(wa),id(nt))),lit(0)),[]) ? ; | ||
| 43 | + | ||
| 44 | +no | ||
| 45 | +| ?- | ||
| 46 | + | ||
| 47 | +spa@khawasaki:~/work/src/paccs/fzn-parser$ exit | ||
| 48 | + | ||
| 49 | +Script done on Tue 23 Jun 2015 10:52:37 AM JST |