写入文件| Swi-Prolog |视窗

Question

一些脚本被束缚水饱和度，Prolog的工作成功通过SWI-Prolog的5.11.11的Linux系统上，但不能很好地在Windows系统48年6月5日

main :- 
    open('output.txt',write,OS), 
    elements(Points), 
    get_set(Eq, Points), 
    alpha_isotone(Eq, Points), 
    write(OS,Eq),nl(OS), 
    false, 
    close(OS). 

问题 - 在Windows文件输出.txt为空，所有信息都保留在伪终端中。 在linux下它运行良好，但文件结尾经常被忽略。像

>> tail output.txt  
[6,1,3,6,6,6] 
[6,1,6,6,6,6] 
[6,3,1,6,6,6] 
[6,3,3,6,3,6] 
[6,3,3,6,5,6] 
[6,3,3,6,6,6] 
[6,3,6,6,6,6] 
[6,6,1,6,6,6] 
[6,6,3,6,6,6] 
[6,6,6, 

我在做什么错？ （我的英语除外）

Answer 1

如果一个人想保持密切（OS）“单一” 主/ 0子句中，这也适用：

main :- 
    open('output.txt',write,OS), 
    ( elements(Points), 
     get_set(Eq, Points), 
     alpha_isotone(Eq, Points), 
     write(OS,Eq),nl(OS), 
     false 
     ; 
     close(OS) 
    ). 

不建议使用这种语法，因为除非您经常使用这种编码，并且它比larsmans提供的版本的可读性更差，否则很难记住连接,与拆分;的优先级是什么。

Prolog的限定操作员的相对优先级，即使对于AND，OR，以及“颈部” :-，通过分配优先值给每个（用户为此与OP/3定义他们自己的运营商时），测距从0到1200.

这里还有一个 the usual convention的逆转，因为我们通常意味着较高优先级的运算符将被应用在较低优先级的运算符之前。但在Prolog the lower Precedence value中表示运算符首先绑定（应用）。

实际优先级值与所述实施方式而改变，但结合,具有比析取;下优先值，从而第一结合。

Answer 2

我假设这是一个失败驱动的循环。它不起作用，因为@hardmath说，close/1调用永远不会到达，因为在同一个子句中它前面有fail/1。实际上，输出文件显然不会被刷新。这种故障驱动回路应写为：

main :- 
    open('output.txt', write, OS), 
    main(OS). 

main(OS) :- 
    elements(Points), 
    get_set(Eq, Points), 
    alpha_isotone(Eq, Points), 
    write(OS,Eq), nl(OS), 
    false. 
main(OS) :- close(OS).