# HG changeset patch # User HackEso # Date 1563401246 0 # Node ID 1fc7b017c0a4804fb1277aa6712118595987e9c7 # Parent e27354cabcbf52cbf0bcd1d4775762fc4c83628e ` sed -i -e \'s/halt/write("\\ntrue."), !, halt; write("\\nfalse."), !, halt/\' ibin/brachylog diff -r e27354cabcbf -r 1fc7b017c0a4 ibin/brachylog --- a/ibin/brachylog Tue Jul 16 22:09:59 2019 +0000 +++ b/ibin/brachylog Wed Jul 17 22:07:26 2019 +0000 @@ -1,3 +1,5 @@ #!/bin/sh echo "$1" > tmp/input.brachylog -(cd interps/brachylog/brachylog/Brachylog-master/src; swipl -g 'run_from_file("../../../../../tmp/input.brachylog", _, _), halt' brachylog.pl) \ No newline at end of file +(cd interps/brachylog/brachylog/Brachylog-master/src; swipl -g 'run_from_file("../../../../../tmp/input.brachylog", _, _), write(" +true."), !, halt; write(" +false."), !, halt' brachylog.pl) \ No newline at end of file