0

问题陈述：给定一个包含整数和整数列表的列表。您必须从每个子列表中删除第 1、2n、4、8 等元素。

我的解决方案

domains
        list=integer*
        elem=i(integer);l(list)
        clist=elem*

predicates
        modify(list, list, integer, integer)
        exec(clist, clist)
clauses
        modify([], [], _, _).
        modify([H|T], Mod, I, P):-
                P=I,
                !,
                I1=I+1,
                P1=P*2,
                modify(T, Mod, I1, P1).
        modify([H,T], [H|Mod], I, P):-
                I1=I+1,
                modify(T, Mod, I1, P).

        exec([], []).
        exec([i(N)|T], [i(N)|LR]):-
                exec(T, LR).
        exec([l(L)|T], [l(Mod)|LR]):-
                modify(L, Mod, 1, 1).

        do():-
                exec([i(1),l([1,2,3,4,5,6,7,8,9]),l([1,2,3,4])],X),
                write(X).

问题是该算法一直有效，直到它从每个子列表中删除第一个和第二个元素，但从那时起不会删除任何东西，我不确定我做错了什么。

theexec predicate用于断言当前元素是整数还是整数列表，将整数添加到结果中，或者将修改后的列表添加到结果中。

修改给定列表并应删除位置幂为 2的modify predicate所有元素。

我写了do predicate只是为了把它作为一个目标，以避免每次我想测试它时都写这个列表。

4

2 回答 2

1

我认为你做P1=P*2得太频繁了，然后你不匹配 2 的连续幂

另外，你这里有错字

modify([H,T], [H|Mod], I, P):- ...

应该读

modify([H|T], [H|Mod], I, P):- ...

我会写

modify([], [], _).
modify([_|T], Mod, I):-
    is_pow2(I), !, % as noted by SQB
    I1 is I+1,
    modify(T, Mod, I1).
modify([H|T], [H|Mod], I):-
    I1 is I+1,
    modify(T, Mod, I1).

为了保持 is_pow2/1 简单，你可以这样做

is_pow2(1).
is_pow2(2).
is_pow2(4).
is_pow2(8).
is_pow2(16).
...

或使用您的 Prolog 算术工具。在 SWI-Prolog 中，一个简单的定义可以是

is_pow2(N) :- 
    between(0, 63, L),
    N is 1 << L.
于 2013-11-21T09:49:48.780 回答
1

实际上，您修改的核心是正确的，因此可能是exec中的问题。以下对我有用：

do_modify(X) :-
  modify([1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18], X, 2).

modify(Lin, Lout, Base) :- modify(Lin, Lout, Base, 1, 1).

modify([], [], _, _, _).
modify([_|T], X, Base, N, Power) :-
  N = Power,
  !,
  P1 is Power * Base,
  N1 is N + 1,
  modify(T, X, Base, N1, P1).
modify([H|T], [H|X], Base, N, Power) :-
  N1 is N + 1,
  modify(T, X, Base, N1, Power).

在http://www.compileonline.com/execute_prolog_online.php上对其进行了测试。

于 2013-11-21T11:44:17.950 回答