1

小さな例を挙げて、リスト内の特定の位置にシンボルを挿入したい 

domains
    element = symbol
    list = element*
    position = integer
predicates
    insert (element, position, list, list) %(input,input,input,output)
clauses 
    insert (E,_,[],[E]). 
    insert (E, 1,[H|T],[E|[H|T]]).       %(I insert E on the "first" position)
    % I get errors how E and T are not bound. I have no idea how to make them bound
    insert (E,P,[H|T],[H1|T1]) :-
           P > 1,
           P1 = P - 1,
           insert (E,P1,T,T1).

うまくいきません...しかし、理由はわかりません。まあ、それはちょっとうまくいきます。outputList = [NEW_LIST]毎回表示するのではなく、私symbolName=_に表示してもらいたいですoutputList = [_,_,_,_]。

4

1 に答える 1

0

どうやらシンボルのデータ型に問題があるようです。整数を使用すると、それ自体が修正されます。

また、これは不可欠です：

domains
    element = integer
     list = element*
     position = integer
predicates
     insert (element, position, list, list) %(input,input,input,output)
clauses 
     insert (E,_,[],[E]). 
     insert (E, 1,[H|T],[E|[H|T]]).
     insert (E,P,[H|T],[H|T1]) :-  % has to be "H" (or anything else) in both
          P > 1,                   % so prolog understands what we are trying to do
          P1 = P - 1,              % don't really understand why though
          insert (E,P1,T,T1).      % I might be wrong
于 2012-11-10T18:22:37.073 に答える