Question

作为对此提出问题的question的后续措施

返回列表中的项目计数，但是如果两个相同的项目彼此相邻，则不要增加计数。

这段代码是我使用DCG和半上下文解决此问题最接近的代码。

import QtQuick 2.12
import QtQuick.Controls 2.3

ApplicationWindow {
    id: window
    title: "Test"
    visible: true
    height: 250
    width: 200

    MyItem {
        id: item
        text: "Hello"
        anchors.centerIn: parent
        hightlightColor: "red"
        MouseArea {
            anchors.fill: parent
            hoverEnabled: true
            onEntered: {
                item.hightlight = true;
            }
        }
    }
}

在子句头上使用带有半上下文的DCG来解决问题的正确方法是什么？

想知道是否有可能在子句头上使用半上下文进行变化。如果可能，则需要工作示例代码，如果不能，则需要说明。

Answer 1

怎么样：

:-use_module(library(clpfd)).

list([])     --> [].
list([L|Ls]) --> [L], list(Ls).

lookahead(C),[C] -->
    [C].

count_dcg(N,N) --> [].
count_dcg(N0,N) --> %last item.
    [_],
    list(R),
    {R = [], N #=N0+1}.
count_dcg(N0,N) -->
    [C1],
    lookahead(C1),
    count_dcg(N0,N).
count_dcg(N0,N) -->
    [C1],
    lookahead(C2),
    {
        dif(C1,C2),
        N1 #= N0 + 1
    },
    count_dcg(N1,N).

count(L,N) :-
    phrase(count_dcg(0,N),L).

Answer 2

我认为这正确使用了半上下文表示法。我正在使用0,s(0),...

% Constraint Logic Programming
:- use_module(library(dif)).    % Sound inequality
:- use_module(library(clpfd)).  % Finite domain constraints

list([])     --> [].
list([L|Ls]) --> [L], list(Ls).

state(S), [state(S)] --> [state(S)].
state(S, s(S)), [state(s(S))] --> [state(S)].

keep_state(S,I),[state(S)] --> [state(S)],[I].
end_state(S)  -->[state(S)],[].

lookahead(C),[S,C] -->
    [S,C].

count_dcg(S,S) --> 
    state(S), %might not need this
    end_state(S).

/* Can be used get the length of a list
count_dcg(S,S2) --> 
    state(S,S1),
    keep_state(S1,_),
    count_dcg(S1,S2),
    {}.
*/

%last item.
count_dcg(S,S1) -->     
    state(S,S1),
    keep_state(S1,_C),
    list(R),
    {R = [state(_)]}.

%Two the same dont increase state 
count_dcg(S,S1) -->
    state(S), %might not need this
    keep_state(S,C1),
    lookahead(C1),
    count_dcg(S,S1).

%Two different increase state  
count_dcg(S,S2)  -->
    state(S,S1),
    keep_state(S1,C1),
    lookahead(C2),
    {
        dif(C1,C2)
    },
    count_dcg(S1,S2).

count(L,S) :-
    phrase(count_dcg(0,S),[state(0)|L]).

在某些情况下，效果不如我希望的那样

65 ?- count([a,b,X,c],L).
X = b,
L = s(s(s(0))) ;
;
X = c,
L = s(s(s(0))) .

您可以使用以下方法转换Peano：

natsx_int(0, 0). 
natsx_int(s(N), I1) :- 
  I1 #> 0, 
  I2 #= I1 - 1, 
  natsx_int(N, I2).

或者您可以更改状态谓词：

state(S), [state(S)] --> [state(S)].
state(S, S2), [state(S2)] --> [state(S)],{S2#=S+1}.

转换为DCG Semicontext无效-继续

2 个答案: