2019-05-21 02:34:51 +02:00
|
|
|
mkdir "$CODEDIR" && cd "$CODEDIR"
|
2019-05-15 02:21:34 +02:00
|
|
|
|
2019-06-01 07:04:15 +02:00
|
|
|
printf %s "$1" > program.pl
|
2019-03-16 01:44:37 +01:00
|
|
|
swipl --quiet program.pl
|
2019-05-15 02:21:34 +02:00
|
|
|
|
2019-05-21 02:34:51 +02:00
|
|
|
cd .. && rm -rf "$CODEDIR"
|