GNU prolog,打印到控制台?

时间:2013-03-16 16:26:11

标签: prolog gnu

我很难用gprolog调试我的代码,有没有人知道如何在编译后将变量的值打印到控制台? 我已尝试在我的代码中使用打印,写入和跟踪,但没有任何后果,甚至没有错误。请帮忙!

1 个答案:

答案 0 :(得分:1)

会话示例:在控制台中启动gprolog

GNU Prolog 1.3.0
By Daniel Diaz
Copyright (C) 1999-2007 Daniel Diaz
| ?- [user].
compiling user for byte code...
test_pos(P) :- P > 0 -> true ; format('~w is invalid', [P]).

user compiled, 2 lines read - 762 bytes written, 180411 ms

(8 ms) yes
| ?- trace,test_pos(-3).
The debugger will first creep -- showing everything (trace)
      1    1  Call: test_pos(-3) ? 
      2    2  Call: -3>0 ? 
      2    2  Fail: -3>0 ? 
      2    2  Call: format('~w is invalid',[-3]) ? 
-3 is invalid
      2    2  Exit: format('~w is invalid',[-3]) ? 
      1    1  Exit: test_pos(-3) ? 

yes
{trace}
| ?- 

在消息user compiled,...之前我输入Ctrl-D强制编译

HTH