Home フォーラム AZ-Prologサポート掲示板 素性構造の循環項について

  • このトピックは空です。
1件の返信スレッドを表示中
  • 投稿者
    投稿
    • #58859
      kw
      ゲスト
      素性構造の循環項のチェックができません。

      <br />

      % AZ-Prolog Version 9.63 (Linux/x64) GCC 5.4.0
      % Copyright (C) SOFNEC CO., LTD. 1987-2017/06/29
      ?- X = f(Y), unify_with_occurs_check(X,Y).
      no

      <br />

      ?- X = [a|X], unify_with_occurs_check(X,Y).
      no

      <br />

      ?- X = {a:X}, unify_with_occurs_check(X,Y).
      Segmentation fault (コアダンプ)
    • #58866
      kw
      ゲスト

      <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 />
      ?-a(X)=X,a(Y)=Y, X == Y.<br />
      Too complex term</p>
      <p>?-a(X)=Y,a(Y)=X, X == Y.<br />
      Too complex term</p>
      <p>?-a(X)=X,a(Y)=Y, X = Y.<br />
      Segmentation fault (コアダンプ)</p>
      <p>?-a(X)=Y,a(Y)=X, X = Y.<br />
      Segmentation fault (コアダンプ)</p>

1件の返信スレッドを表示中
  • フォーラム「AZ-Prologサポート掲示板」には新規投稿および返信を追加できません。
上部へスクロール