素性構造型対応AZ-Prolog Ver.9をリリース致しました。ぜひ一度おためしください。 x

once/1を使って無限ループするとコアダンプが発生する

1件の返信スレッドを表示中

投稿者

投稿
- 2018/06/11 7:44 PM #58864
  
  ｋｗ
  ゲスト
  
  <p>AZ-Prolog Version 9.63 (Linux/x64) GCC 5.4.0<br />
  Copyright (C) SOFNEC CO., LTD. 1987-2017/06/29<br />
  f(A):- true.<br />
  my_repeat(A):-<br />
  f(A),<br />
  my_repeat(A).</p>
  <p>?- my_repeat(A).<br />
  無限ループ</p>
  <p>my_repeat(A):-<br />
  f(A),<br />
  once(my_repeat(A)).<br />
  ?- my_repeat(A).<br />
  Segmentation fault (コアダンプ)</p>
- 2018/06/12 11:03 AM #58865
  
  ｋｗ
  ゲスト
  
  <p>### 追記</p>
  <p>%AZ-Prolog Version 9.63 (Linux/x64) GCC 5.4.0<br />
  %Copyright (C) SOFNEC CO., LTD. 1987-2017/06/29<br />
  f(A):- true.<br />
  my_repeat(A):-<br />
  f(A),<br />
  \+call(my_repeat(A)).<br />
  ?-my_repeat(1).<br />
  Segmentation fault (コアダンプ)</p>
投稿者

投稿

1件の返信スレッドを表示中

フォーラム「AZ-Prologサポート掲示板」には新規投稿および返信を追加できません。

©SOFNEC Co., Ltd. All Rights Reserved.