2

我想在 Prolog 中确定字符串的类型，是字母、字母数字还是数字。例如：

"I use this page" alphabetic

"0c0d24e" alphanumeric

我能怎么做？

4

1 回答 1

3

可用的谓词是char_type /2，或者更好的是 code_type/2。要应用于字符串中的每个代码，请使用 maplist/2。唯一的问题是 code_type 的参数顺序错误。然后需要一个服务谓词（或下载lambda，如果您使用的是 SWI-Prolog，带有?- pack_install(lambda).）。

没有 lambda：

code_type_(X,Y) :- code_type(Y,X).

?- maplist(code_type_(alpha), "abc").
true.

使用 lambda：

?- [library(lambda)].
?- maplist(\C^code_type(C,alpha), "abc").
true.

评论后编辑，显然需要更灵活的解析。推荐使用 DCG 的方式： library( dcg/basics ) 提供了一些预构建的“分类器”，并突出显示了编写自己的正确方法，并结合 code_type：例如，这是最近添加的规则：

%%  prolog_var_name(-Name:atom)// is semidet.
%
%   Matches a Prolog variable name. Primarily  intended to deal with
%   quasi quotations that embed Prolog variables.

prolog_var_name(Name) -->
    [C0], { code_type(C0, prolog_var_start) }, !,
    prolog_id_cont(CL),
    { atom_codes(Name, [C0|CL]) }.

prolog_id_cont([H|T]) -->
    [H], { code_type(H, prolog_identifier_continue) }, !,
    prolog_id_cont(T).
prolog_id_cont([]) --> "".

看看 code_type/2 如何用于限定单个字符...

更多编辑- 注意：未经测试

qualify_atom(Atom, Type) :-
   atom_codes(Atom, Codes),
   qualify_codes(Codes, Type).

qualify_codes(Codes, Type) :-
   (  maplist(code_type_(alnum), Codes)
   -> Type = alnum
   ;  maplist(code_type_(alpha), Codes)
   -> Type = alpha
   ;  Type = unknown
   ).

然后，在清单上工作

?- maplist(qualify_atom, Atoms, Types).

编辑

这个答案的更新是强制性的：因为 library(yall) 已经在 SWI-Prolog 中发布，并且是自动加载的，我们现在可以编写：

?- maplist([C]>>code_type(C,alpha), `abc`).

另外，请注意文字表示的变化：SWI-Prolog ver.7+ 中的双引号不再表示字符代码列表。

于 2013-07-18T09:17:12.250 回答