view ibin/brachylog @ 12233:cc8d3fec0222 draft

<b_jonas> `` chmod -c a+x /hackenv/bin/addwhatis
author HackEso <hackeso@esolangs.org>
date Thu, 05 Dec 2019 21:02:25 +0000
parents b044eecae124
children
line wrap: on
line source

#!/bin/sh
echo "$1" > /tmp/input.brachylog
(cd ${HACKENV-/hackenv}/interps/brachylog/brachylog/Brachylog-master/src; swipl -g 'run_from_file("/tmp/input.brachylog", _, _), write("
true."), !, halt; write("
false."), !, halt' brachylog.pl)