Skip to content

Commit

Permalink
beautifying the output of --rdf-list-output
Browse files Browse the repository at this point in the history
  • Loading branch information
josd committed Mar 1, 2023
1 parent 53e5e1f commit 67fc43f
Show file tree
Hide file tree
Showing 4 changed files with 13 additions and 4 deletions.
1 change: 1 addition & 0 deletions RELEASE
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
EYE release

[v3.4.1] beautifying the output of --rdf-list-output
[v3.4.0] new command line option --rdf-list-output to output lists as RDF lists
[v3.3.6] reverting simplified RDF list handling
[v3.3.5] simplifying RDF list handling
Expand Down
2 changes: 1 addition & 1 deletion VERSION
Original file line number Diff line number Diff line change
@@ -1 +1 @@
3.4.0
3.4.1
14 changes: 11 additions & 3 deletions eye.pl
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@
:- use_module(library(semweb/turtle)).
:- catch(use_module(library(http/http_open)), _, true).

version_info('EYE v3.4.0 josd').
version_info('EYE v3.4.1 josd').

license_info('MIT License

Expand Down Expand Up @@ -3871,7 +3871,7 @@
wt0([]) :-
!,
( flag('rdf-list-output')
-> write('<http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>')
-> wt0('<http://www.w3.org/1999/02/22-rdf-syntax-ns#nil>')
; write('()')
).
wt0(X) :-
Expand Down Expand Up @@ -4070,14 +4070,22 @@
wt2([X|Y]) :-
!,
( flag('rdf-list-output')
-> write('[ '),
-> write('['),
nl,
indentation(2),
indent,
wt0('<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>'),
write(' '),
wg(X),
write('; '),
nl,
indent,
wt0('<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>'),
write(' '),
wt(Y),
nl,
indentation(-2),
indent,
write(']')
; write('('),
wg(X),
Expand Down
Binary file modified eye.zip
Binary file not shown.

0 comments on commit 67fc43f

Please sign in to comment.