prologのような言語　lilfes
BY yamada11 / DATE 2010-05-21 04:30:35 / ID 2680 / VIEW 1216
prologのような言語　lilfes
lilfesという言語のソースにassoc_new <- [pred].なるものがあるのですが、これはオブジェクト思考でいうインスタンス化のようなものですか？
以下ソースの一部
:- module("common:sem:sem_variable").
:- module_interface.

sem_init <- [pred].
sem_get <- [pred].
sem_set <- [pred].
sem_delete <- [pred].


%% 意味素性を取りだします。
get_sem_features <- [pred].
%% 意味素性をセットします。
set_sem_features <- [pred].

%% 現在の意味情報
:- assoc_new("common:sem:sem_variable:sem").

このソースをロードすると
Warning: 'common:sem:sem_variable':assoc_new <- [pred]. is assumed implicitly at /usr/local/Kura/common/sem/sem_variable.lil:24
Run-time Warning: no goal of 'common:sem:sem_variable':'assoc_new/1' is defined
てな警告が出てしまいます。
アドバイスお願いします。
salsberryさんからのお返事です
ID:2681 POST:2010-05-21 04:30:44
> lilfesという言語のソースにassoc_new <- [pred].なるものがあるのですが、

提示されたソースの中にはないようですが？

> これはオブジェクト思考でいうインスタンス化のようなものですか？

おそらく違います。
assoc_new という述語を assoc_new <- [pred]. で型定義する前に :- の右辺に使ったために警告が出ているだけに見えます。

参考: http://www-tsujii.is.s.u-tokyo.ac.jp/lilfes/manual/chap4.ja.html の「型定義」の項
「プログラム中で使用する型（定数及び述語）は予め、 supertype（親の型）とともに型定義がされている必要があります。」