1

我正在 Prolog 中练习使用 DCG。我取一个像 123 这样的整数，将它“分解”成一个列表，即 [1,2,3]，然后我想使用 DCG 规则来获得输出一二三。到目前为止，我可以将一个整数列表（例如 [1]）转换为一个整数，但我不知道当涉及到一个列表时该怎么做。我想尽可能多地使用 DCG，因为这是我正在练习的。这是我当前的代码：

tests( 1, [1] ).
tests( 2, [67] ).
tests( 3, [183] ).
tests( 4, [999] ).  

numToEng( N, Res ) :-
    tests( N, W ),
    print( 'test: ' ),print( W ),nl,
    explode( W, Exploded ),
    print( 'exploded: ' ),print( Exploded ),nl,
    phrase( num(Res), Exploded ).

explode( N, Explosion ) :-
    explode( N, [], Explosion ).
explode( 0, Explosion, Explosion ) :- !.    
explode( N, Inter, Explosion ) :- 
    Test is N mod 10, 
    NewN0 is  N - Test,
    NewN1 is NewN0//10, 
    explode( NewN1, [Test|Inter], Explosion ).

num( X ) --> digit( X ).    

digit(zero) --> [0].
digit(one) --> [1].
digit(two) --> [2].
digit(three) --> [3].
digit(four) --> [4].
digit(five) --> [5].
digit(six) --> [6].
digit(seven) --> [7].
digit(eight) --> [8].
digit(nine) --> [9].

不使用 DCG 的可能解决方案是我之前写过的，但我想知道如何使用 DCG 编写它。

% test cases, called by numToEng/2
tests( 1, [1] ).
tests( 2, [67] ).
tests( 3, [183] ).
tests( 4, [999] ).

% dictionary
digit(0,zero).
digit(1,one).
digit(2,two).
digit(3,three).
digit(4,four).
digit(5,five).
digit(6,six).
digit(7,seven).
digit(8,eight).
digit(9,nine).

% take an integer e.g. 123 and explode it
% into a list i.e. [1,2,3]
explode( N, Explosion ) :-
    explode( N, [], Explosion ).
explode( 0, Explosion, Explosion ) :- !.    
explode( N, Inter, Explosion ) :- 
    Test is N mod 10, 
    NewN0 is  N - Test,
    NewN1 is NewN0//10, 
    explode( NewN1, [Test|Inter], Explosion ).

% take a number in digits and convert it
% into english e.g. [1,2,3] would be
% [one,two,three]   
numToEng( N, Res ) :-
    tests( N, Test ),
    explode( Test, Exploded ),
    numToEng( N, Exploded, [], Res ).
numToEng( _, [], Rev, Res ) :-
    reverse( Rev, Res ).
numToEng( N, [H|T], Inter, Res ) :-
    digit( H, Word ),
    numToEng( N, T, [Word|Inter], Res ).
4

1 回答 1

3 
digits([]) --> [].
digits([D|Ds]) --> digit(D), digits(Ds).

例子：

?- explode(123,X), digits(Digits,X,[]).
X = [1, 2, 3],
Digits = [one, two, three]
于 2011-01-10T12:48:21.537 回答