- 1 名前：デフォルトの名無しさん [2007/10/26(金) 08:26:46 ]
- 過去スレ
PrologでまったりPart 2
pc11.2ch.net/test/read.cgi/tech/1102664221/
Prolog でまったり
pc5.2ch.net/test/read.cgi/tech/976462999/
リンク集
www.summa.jp/lang/logic/prolog.htm
bach.istc.kobe-u.ac.jp/prolog/
チュートリアル
www.amzi.com/AdventureInProlog/
computing.unn.ac.uk/staff/cgpb4/prologbook/
www.intranet.csupomona.edu/~jrfisher/www/prolog_tutorial/pt_framer.html
bach.istc.kobe-u.ac.jp/prolog/intro/
www.geocities.jp/m_hiroi/prolog/
www.asahi-net.or.jp/~JF1T-YSD/prologV2/
- 261 名前：デフォルトの名無しさん mailto:sage [2008/06/16(月) 20:51:16 ]
- > #define CTYPE(c) ((LONG)I_GET(F_ELEM(2l,(c))))
#define CTYPE(c) (*(LONG *)&I_GET(F_ELEM(2l,(c))))
こんなんできたっけ
- 262 名前：デフォルトの名無しさん mailto:sage [2008/06/16(月) 21:50:26 ]
- 普通 まったり 超まったり dat落ち寸前
┝ - - - - ┿━━━━┿━━━━━┥
∩＿＿＿∩ /)
- 263 名前：デフォルトの名無しさん mailto:sage [2008/06/16(月) 23:26:45 ]
- >>262
２ちゃんに「普通」なんつー概念はありえねーｗ
- 264 名前：デフォルトの名無しさん mailto:sage [2008/06/16(月) 23:32:25 ]
- 自分以外を「2chでスレ荒らし」と言ってる奴だから、対話は成立しないだろ。ほっとけ。
- 265 名前：デフォルトの名無しさん mailto:sage [2008/06/17(火) 01:23:04 ]
- Prologって何の問題を解くのに向いているのでしょう？
手続き的な処理には不向きな気がします。
私はこのスレを読んでシステムの用件定義時に個別の用件の妥当性
をチェックするなどに使えるかな？と思っています。
ﾐﾅｻﾝはどんな問題を解くのに使われていますか？
ちなみに、Javaや.Netなどから呼び出せたりするPrologってありませんか？
- 266 名前：デフォルトの名無しさん mailto:sage [2008/06/17(火) 01:50:23 ]
- kaminari.scitec.kobe-u.ac.jp/PrologCafe/
www.cs.kuleuven.ac.be/~bmd/PrologInJava/
- 267 名前：デフォルトの名無しさん mailto:sage [2008/06/17(火) 02:18:30 ]
- >>264
何か誤解されているようですが。
- 268 名前：デフォルトの名無しさん mailto:sage [2008/06/17(火) 02:48:04 ]
- P# というのもあります。
homepages.inf.ed.ac.uk/jcook/psharp/psharp-1.1.3/dlpsharp.html
Prolog から C# へのトランスレータということになります。
>>266 にでてくる PrologCafe で書かれています。
- 269 名前：251 mailto:sage [2008/06/17(火) 02:59:52 ]
- 皆さんの示唆によりまして、
めでたく、Progolの起動まで漕ぎ着けました。
ひとまず、ありがとうございます。
ひとまずというのは、
>>261 はその通り直したのですが、同様にエラーのでた
(LONG) を「なんか適当にポインタを取ったり」という感じで
コメントアウトしてしまったらうまく行った、ということです。
それでは、問題があるかもしれないから、今日
(LONG)を生かす方法を試みます。
- 270 名前：デフォルトの名無しさん mailto:sage [2008/06/17(火) 03:38:51 ]
- >>265
Prologの手続的解釈というのもあります。あくまで、Prologをどう読むかということですが。
プログラマが副作用に着目している以上、深さ優先探索を「悪用」して、
あーやって、つぎにこうやって、という具合に読んでいくことは現実味があります。
関数型ではPrologから影響を受けたErlangが似た構文を持っています。
- 271 名前：デフォルトの名無しさん mailto:sage [2008/06/17(火) 04:37:35 ]
- >>261です
piza.2ch.net/tech/kako/968/968727266.html
＞1 名前： 厨房エログラマ 投稿日： 2000/09/12(火) 11:54
＞ unsigned long a = 0xcccccccc;
＞ (unsigned char)a = 0xff;
＞ このようなコードをみました。
＞ VC++で試したところ、拡張子CPPではエラーになりましたが、
＞ 拡張子Cでは問題なく通り、aの値は 0xccccccff になりました。
＞ この代入はC言語の規則上では正しいのでしょうか？
＞10 名前： >8 投稿日： 2000/09/13(水) 08:15
＞ ANSIでは(unsigned char)aは左辺値じゃないから代入文の左辺に
＞ は置けない。これはANSIでは「処理系依存」ではない。
＞
＞ この記述ができるコンパイラはANSIに従っていない。このため
＞ VC6も-ZaでこのMS拡張仕様を無効にする手段を用意している。
＞
＞ gccではコンパイルできるが結果は0xccccccffでなく
＞ 0x000000ffになる。同様に-ansi -pedanticをつけて厳格に
＞ ANSIに準拠させるとエラーとなる。
＞
＞ 言語仕様を（暗記せよとはいわないが）調べるぐらいしたら
sizeof(LONG) == sizeof(POINTER)
という仮定がされている、という仮定をしてしまった気がするとです
|
 |
