Prolog - 插入事实

Question

我需要在 Prolog 中编写一个谓词，在指定位置插入一个元素，从而修改列表中其余元素的位置编号。 我所实现的是下一个实现 Predicate 的代码 sn-p，该 Predicate 在列表末尾插入一个元素。 在数据库领域，除了 LIST 之外，我们还有 LONG 表示列表中元素的数量。 最后，我尝试实现 de 谓词有一些代码。谁能告诉我里面有什么问题？ 我迷路了。

Domains
name=symbol
position=integer
element=integer
Database
    list(name,position,element)
    long(name,integer)

Predicates
     nondeterm inserirf(element)

Clauses
    list(b,1,1). 
    list(b,2,5). 
    list(b,3,8). 
    list(b,4,3). 
    long(b,4).
    inserirf(V):-
        long(b,X),
        Y=X+1,
        assertz(list(b,Y,V)),
        assertz(long(b,Y)),
        retract(long(b,X)),
        long(b,Q),
        list(b,Q,P),
        write(P),nl.

Goal
    inserirf(7).

我的最后一次尝试：

Predicates
 nondeterm inserirl(nom,pos,element)

Clauses
    list(b,1,1). 
    list(b,2,5). 
    list(b,3,8). 
    list(b,4,3).
    list(b,5,10).
    list(b,6,11). 
    long(b,6).

  inserirl(L,Pos,E):-
  long(L,Long),
  Pos > Long,
  NouLong = Long+1,
  retract( long(L,Long) ),
  assertz( list(L,Pos,NouLong) ),
  assertz( long(L,NouLong) ).


inserirl(L,Pos,E):-
    long(L,X),
    XaPassar=X-1,
    retract(llista(L,Pos,E)),
    retract( long(L,X) ),
    assertz( long(L,XaPassar) ),

    inserirl(L, XaPassar,E),
    long(L,Y),
    Y2=Y+1,
    retract( long(L,Y) ),
    assertz( long(L,Y2) ),
    assertz(llista(L,Pos,E)).

Goal
    inserirl(b,3,9).
% 3 -> position
% 9 -> element
% b -> name of list

感谢任何帮助。

Answer 1

关于“我的最后一次尝试”：

1. 您为什么要撤回您试图（最终）断言的清单事实？
2. 您必须先缩短列表（即收回最后一个元素并替换长度），然后才能进行递归（因为它必须在较短的列表上工作）。

注意：您最终会花费大量时间来断言和收回 long() 事实，您需要跟踪长度，但其中大多数会“取消”。一种更有效的方法是收回原始的 long()，然后将长度作为参数传递，并且只有在完成后才重新断言新的 long。但在您担心优化之前先让它发挥作用！

Answer 2

让您开始：

1. 检查插入的项目是否在最后；如果是这样，您可以使用您当前的代码。
2. 如果它没有走到最后：删除（但记住！）当前位于末尾的项目，递归尝试插入新项目，然后将删除的项目添加到现在结束（可以是使用您的代码完成）。

Answer 3

这是基本情况：

inserirl(L,Pos,E):-
  long(L,Len),
  Pos > Len,
  NewLen is Len+1,
  retract( long(L,Len) ),
  assertz( list(L,Pos,NewLen) ),
  assertz( long(L,NewLen) ).

对于递归情况，更改事实以使列表 1 更短，将新项目插入到 THAT 中，然后将删除的项目放回末尾。