diff options
author | John Ankarström <john@ankarstrom.se> | 2022-01-22 18:20:26 +0100 |
---|---|---|
committer | John Ankarström <john@ankarstrom.se> | 2022-01-22 18:20:26 +0100 |
commit | 3bae3974854a2b1101332eb145ddea53c439eb31 (patch) | |
tree | 1910e57d973e21365ec36d4be76f8367b352eb2f | |
parent | b612d003a57e5f4de312872fcabfd50f4d732a5e (diff) | |
download | save-3bae3974854a2b1101332eb145ddea53c439eb31.tar.gz |
M save.pl
M save.pl~
-rw-r--r-- | save.pl | 4 | ||||
-rw-r--r-- | save.pl~ | 1 |
2 files changed, 3 insertions, 2 deletions
@@ -72,8 +72,8 @@ chain_atom(C, A) :- chain_atom_x(C, '', A). chain_atom_x(C, A0, A) :- - ( get(C, delete_head, A1), - atom_concat(A0, A1, A2), + ( get(C, delete_head, A1) + -> atom_concat(A0, A1, A2), atom_concat(A2, ' ', A3), chain_atom_x(C, A3, A) @@ -91,4 +91,5 @@ commited(1) :- 'Files could not be saved.'). commited(0) :- + write(success), nl, halt. |