AZ-Prolog　 » 投稿一覧 https://az-prolog.com/forums/feed/ Sat, 25 Apr 2026 12:28:55 +0000 https://bbpress.org/?v=2.6.14 ja https://az-prolog.com/topic/az-prolog-prolog%e3%81%a7%e5%ad%a6%e3%81%b6ai%e6%89%8b%e6%b3%95%e3%81%ae%e3%83%aa%e3%83%b3%e3%82%af%e5%85%88%e3%81%8c404%e3%82%a8%e3%83%a9%e3%83%bc%e3%81%ae%e4%bb%b6/#post-60056 <![CDATA[AZ-Prolog | Prologで学ぶAI手法のリンク先が404エラーの件]]> https://az-prolog.com/topic/az-prolog-prolog%e3%81%a7%e5%ad%a6%e3%81%b6ai%e6%89%8b%e6%b3%95%e3%81%ae%e3%83%aa%e3%83%b3%e3%82%af%e5%85%88%e3%81%8c404%e3%82%a8%e3%83%a9%e3%83%bc%e3%81%ae%e4%bb%b6/#post-60056 Sat, 20 Mar 2021 14:17:31 +0000 太田博三 下記のURLのリンク先が開けません。404エラーが出ます。
PDFを閲覧したく、お伺いさせて頂きました。

AZ-Prolog | Prologで学ぶAI手法
https://www.az-prolog.com/books/prolog%E3%81%A7%E5%AD%A6%E3%81%B6ai%E6%89%8B%E6%B3%95/

敬具

]]> https://az-prolog.com/topic/az%e2%88%92prolog%e3%81%a7%e5%90%a6%e5%ae%9atrue-%e3%81%ae%e8%bf%b0%e8%aa%9e%e3%82%92%e6%95%99%e3%81%88%e3%81%a6%e3%81%8f%e3%81%a0%e3%81%95%e3%81%84%e3%80%82/#post-59018 <![CDATA[返信先: AZ−Prologで否定(true).の述語を教えてください。]]> https://az-prolog.com/topic/az%e2%88%92prolog%e3%81%a7%e5%90%a6%e5%ae%9atrue-%e3%81%ae%e8%bf%b0%e8%aa%9e%e3%82%92%e6%95%99%e3%81%88%e3%81%a6%e3%81%8f%e3%81%a0%e3%81%95%e3%81%84%e3%80%82/#post-59018 Tue, 08 Dec 2020 13:35:38 +0000 Inaba fy オペレータ述語の　\+ です。 (Winでは 半角の　￥＋　）

ただし、TopLevelで入力するときは、?- のあとにスペースをあけないと
記号連続の述語として扱われてしまいますのでご注意ください。
| ?-\+ fail.
| ?- listing.
?-\+(fail). <== 述語　’?-\+’ /2 として登録されてしまう。
yes

| ?- \+ fail.
yes
| ?- \+ true.
no
| ?- \+ \+ true.
yes

]]> https://az-prolog.com/topic/az%e2%88%92prolog%e3%81%a7%e5%90%a6%e5%ae%9atrue-%e3%81%ae%e8%bf%b0%e8%aa%9e%e3%82%92%e6%95%99%e3%81%88%e3%81%a6%e3%81%8f%e3%81%a0%e3%81%95%e3%81%84%e3%80%82/#post-59017 <![CDATA[返信先: AZ−Prologで否定(true).の述語を教えてください。]]> https://az-prolog.com/topic/az%e2%88%92prolog%e3%81%a7%e5%90%a6%e5%ae%9atrue-%e3%81%ae%e8%bf%b0%e8%aa%9e%e3%82%92%e6%95%99%e3%81%88%e3%81%a6%e3%81%8f%e3%81%a0%e3%81%95%e3%81%84%e3%80%82/#post-59017 Tue, 08 Dec 2020 13:34:53 +0000 Inaba fy オペレータ述語の　\+ です。 (Winでは 半角の　￥＋　）

ただし、TopLevelで入力するときは、?- のあとにスペースをあけないと
記号連続の述語として扱われてしまいますのでご注意ください。
| ?-\+ fail.
| ?- listing.
?-\+(fail). <== 述語　’?-\+’ /2 として登録されてしまう。
yes

| ?- \+ fail.
yes
| ?- \+ true.
no
| ?- \+ \+ true.
yes

]]> https://az-prolog.com/topic/%e6%97%a5%e6%9c%ac%e8%aa%9e%e3%82%92%e4%bd%bf%e3%81%86%e3%81%9f%e3%82%81%e3%81%ab%e3%81%af%ef%bc%9f/#post-58941 <![CDATA[返信先: 日本語を使うためには？]]> https://az-prolog.com/topic/%e6%97%a5%e6%9c%ac%e8%aa%9e%e3%82%92%e4%bd%bf%e3%81%86%e3%81%9f%e3%82%81%e3%81%ab%e3%81%af%ef%bc%9f/#post-58941 Mon, 15 Jul 2019 15:21:06 +0000 才谷 ありがとうございます。
日本語を利用することができました。

]]> https://az-prolog.com/topic/%e6%97%a5%e6%9c%ac%e8%aa%9e%e3%82%92%e4%bd%bf%e3%81%86%e3%81%9f%e3%82%81%e3%81%ab%e3%81%af%ef%bc%9f/#post-58927 <![CDATA[返信先: 日本語を使うためには？]]> https://az-prolog.com/topic/%e6%97%a5%e6%9c%ac%e8%aa%9e%e3%82%92%e4%bd%bf%e3%81%86%e3%81%9f%e3%82%81%e3%81%ab%e3%81%af%ef%bc%9f/#post-58927 Thu, 23 May 2019 02:10:15 +0000 加藤 Windows版で日本語の文字を使用する場合の文字コードは、Shift-JISを推奨しております。

起動時の文字コードオプションを、未指定(または -sjis を指定）で起動し、
プログラムをコンサルトする場合は、プログラムの文字コードがShift-JISであれば、
日本語は文字化けせずに使用できます。

上記の方法で起動して頂ければ、日本語が含まれているディレクトリへのchdirも可能ですので、
お試しください。

]]> https://az-prolog.com/topic/%e6%97%a5%e6%9c%ac%e8%aa%9e%e3%82%92%e4%bd%bf%e3%81%86%e3%81%9f%e3%82%81%e3%81%ab%e3%81%af%ef%bc%9f/#post-58922 <![CDATA[日本語を使うためには？]]> https://az-prolog.com/topic/%e6%97%a5%e6%9c%ac%e8%aa%9e%e3%82%92%e4%bd%bf%e3%81%86%e3%81%9f%e3%82%81%e3%81%ab%e3%81%af%ef%bc%9f/#post-58922 Tue, 23 Apr 2019 10:01:52 +0000 才谷 WIndows10にWindows版をインストールしてみました。
以前、Prolog KABAを使っていた者ですが、今回、初めてAZ-Prologをインストールしたのですが、オプションとして-sjisや-utf8をつけてもPrologのインタープリタ上やプログラム日本語を入れたものなど、文字化けしてしまいます。
ディレクトリに日本語があるとchdirもできません。
解決方法などありましたらご教授いただけると幸いです。

]]> https://az-prolog.com/topic/0xff%e3%81%afok%e3%81%a7%e3%81%99%e3%81%8c%ef%bc%81%ef%bc%bf0b1010-0o777-%e3%81%af%e4%bd%bf%e3%81%88%e3%81%aa%e3%81%84%e3%81%ae%e3%81%a7%e3%81%99%e3%81%8b%ef%bc%9f/#post-58906 <![CDATA[返信先: 0xffはOKですが！＿0b1010, 0o777 は使えないのですか？]]> https://az-prolog.com/topic/0xff%e3%81%afok%e3%81%a7%e3%81%99%e3%81%8c%ef%bc%81%ef%bc%bf0b1010-0o777-%e3%81%af%e4%bd%bf%e3%81%88%e3%81%aa%e3%81%84%e3%81%ae%e3%81%a7%e3%81%99%e3%81%8b%ef%bc%9f/#post-58906 Wed, 16 Jan 2019 04:20:05 +0000 tajima <p>現仕様では対応しておりません。</p>
<p>整数の入力形式は、ユーザーズマニュアル「4-1-1.定数 ［1］整数値」をご参照ください。</p>

]]> https://az-prolog.com/topic/fs_writeavm-1%e3%81%a7%e3%82%b3%e3%82%a2%e3%83%80%e3%83%b3%e3%83%97%e3%81%8c%e7%99%ba%e7%94%9f%e3%81%99%e3%82%8b/#post-58904 <![CDATA[fs_writeAVM/1でコアダンプが発生する]]> https://az-prolog.com/topic/fs_writeavm-1%e3%81%a7%e3%82%b3%e3%82%a2%e3%83%80%e3%83%b3%e3%83%97%e3%81%8c%e7%99%ba%e7%94%9f%e3%81%99%e3%82%8b/#post-58904 Wed, 09 Jan 2019 11:25:52 +0000 ｋｗ <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,B):-<br />
A = {a:_|L},<br />
B = L.</p>
<p>?- A = {a:a,b:b,c:c},<br />
f(A,B),<br />
f(B,C),<br />
write(C),nl,<br />
fs_writeAVM(C).</p>
<p>%{b:b,c:c}<br />
%|~ ~| <br />
%| b:b | <br />
%| c:c | <br />
%|_ _| <br />
%yes</p>
<p>?- A = {a:a,b:b,c:c},<br />
f(A,B),<br />
f(B,B),<br />
write(B),nl,<br />
fs_writeAVM(B).<br />
%{a:_107,b:b,c:c}<br />
%Segmentation fault (コアダンプ)</p>

]]> https://az-prolog.com/topic/0xff%e3%81%afok%e3%81%a7%e3%81%99%e3%81%8c%ef%bc%81%ef%bc%bf0b1010-0o777-%e3%81%af%e4%bd%bf%e3%81%88%e3%81%aa%e3%81%84%e3%81%ae%e3%81%a7%e3%81%99%e3%81%8b%ef%bc%9f/#post-58903 <![CDATA[0xffはOKですが！＿0b1010, 0o777 は使えないのですか？]]> https://az-prolog.com/topic/0xff%e3%81%afok%e3%81%a7%e3%81%99%e3%81%8c%ef%bc%81%ef%bc%bf0b1010-0o777-%e3%81%af%e4%bd%bf%e3%81%88%e3%81%aa%e3%81%84%e3%81%ae%e3%81%a7%e3%81%99%e3%81%8b%ef%bc%9f/#post-58903 Thu, 20 Dec 2018 09:10:17 +0000 上間 <p>こんにちは、</p>
<p>数字　２進数　８進数の　形式は</p>
<p> </p>
<p>0b1010   0o777 は使えないのですか？</p>
<p> </p>
<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 />
| ?-X is 0xff.<br />
X = 255;<br />
no<br />
| ?-X is 0b1010.<br />
Syntax error<br />
| ?-X is 0o777. <br />
Syntax error<br />
| ?-</p>

]]> https://az-prolog.com/topic/%e7%b4%a0%e6%80%a7%e6%a7%8b%e9%80%a0%e3%81%ae%e5%b7%ae%e5%88%86%e8%a1%a8%e7%8f%be%e3%81%a7%e5%80%a4%e3%82%92%e4%bb%a3%e5%85%a5%e3%81%a7%e3%81%8d%e3%81%aa%e3%81%84/#post-58902 <![CDATA[素性構造の差分表現で値を代入できない]]> https://az-prolog.com/topic/%e7%b4%a0%e6%80%a7%e6%a7%8b%e9%80%a0%e3%81%ae%e5%b7%ae%e5%88%86%e8%a1%a8%e7%8f%be%e3%81%a7%e5%80%a4%e3%82%92%e4%bb%a3%e5%85%a5%e3%81%a7%e3%81%8d%e3%81%aa%e3%81%84/#post-58902 Thu, 06 Dec 2018 09:46:50 +0000 ｋｗ <p>?- A = {a:{b1:1,b2:2,b3:3}},<br />
A = {a:{b2:2|L}},<br />
B = {a:{b4:4|L}}.</p>
<p>% A = {a:{b2:2,b1:1,b3:3}},<br />
% L = {b1:1,b3:3},<br />
% B = {a:{b4:4}}</p>
<p><br />
?- A = {a:{b1:1,b2:2,b3:3}}, A = {a:{b2:2|L}}, B = {a:{b4:4|L}}, display(B),nl, fs_writeAVM(B), display(B),nl. <br />
% {(:(a,{(:(b4,4))}))} % |~ ~| % | a:|~ ~| | % | | b4:4 | | % | | b1:1 | | % | | b3:3 | | % | |_ _| | % |_ _| % {(:(a,{(:(b4,4),(:(b1,1),(:(b3,3))))}))} % <br />
% A = {a:{b2:2,b1:1,b3:3}}, % L = {b1:1,b3:3}, % B = {a:{b4:4,b1:1,b3:3}}</p>

]]>