txlyre 1 年之前
父節點
當前提交
d5ba3c7d85
共有 1 個文件被更改,包括 3 次插入1 次删除
  1. 3 1
      langs/prolog/run.sh

+ 3 - 1
langs/prolog/run.sh

@@ -2,8 +2,10 @@ IN="$(mktemp --suffix .pl)"
 OUT="$(mktemp)"
 
 cat > "$IN"
+sed -i "1i:- initialization(main).
+" "$IN"
 
-gplc -o "$OUT" "$IN"
+gplc --no-top-level -o "$OUT" "$IN"
 
 if [ $? -eq 0 ]; then
   exec "$OUT"