- ベストアンサー
Lilfes言語の型定義についての質問
- 私は自然言語処理に興味があり、lilfesという言語に関心を持ちました。
- lilfesのユーザーマニュアルを読んでいる中で、型定義について分からないことがあります。
- 具体的には、AVM木を使用して型を表示するために行った操作の結果が予想と異なっていました。
- yamada11
- お礼率62% (157/253)
- その他（プログラミング・開発）
- 回答数2
- ありがとう数18
- みんなの回答 （2）
- 専門家の回答
質問者が選んだベストアンサー
その他の回答 (1)
- ageha_star
- ベストアンサー率0% (0/1)
まずそもそも printAVM はその様に型を受け取る述語ではありません。 例えば :- printAVM(person & NAME\"hoge"). の様に使う訳、です。 また string <- [bot] というのがまずい様です。 その一行を消して見てください。 以下のようにおそらく（？）予想通りの答えが出る、と思います。 $ lilfes > person <- [bot] + [NAME\string]. > :- printAVM(person & NAME\"hoge"). |~person ~| |_NAME:"hoge"_| > string という型で使いたいのにもかかわらず bot にしてしまっては、printAVMはそもそも上記のように使うものなので、string を入れようとすると怒られてしまう羽目になる訳、です。
お礼
回答ありがとうございます。返事が遅れまして大変申し訳ございません。 その後、自分でも試行錯誤してみましたところ、 $ lilfes > john <- [bot]. > ken <- [bot]. > person <- [bot] + [EMPLOYER\, EMPLOYEE\ken]. > :- printAVM(person & EMPLOYER\john、EMPLOYEE\ken). |~person ~| |_EMPLOYER:john_| |_EMPLOYEE:john_| > と表示されました。 回答通りしたところ同じように表示されました。 しかし、このprintAVMは値を与えなければ、もしや表示されないということなのでしょうか・・・。
補足
すいません。お礼の表示で間違いが・・・。 |~person ~| |_EMPLOYER:john_| |_EMPLOYEE:john_| ではなく |~person ~| |_EMPLOYER:john_| |_EMPLOYEE:ken_| でした。
お礼
回答ありがとうございます。返事が遅れまして大変申し訳ございません。 上記の通りしたら、確かに表示されました。ありがとうございます。 stringの型はlilfesに元々既にある型であるということなのですね・・・。 すいません、また分からないことがあれば質問すると思います。 回答してくださった方々、ありがとうございました。