检查列表是否仅由字节组成-Prolog

发布于 2025-01-24 12:16:35 字数 163 浏览 0 评论 0原文

我需要写一个谓词，该谓词是否仅由二进制数字组成：

%Define a binary digit type

bind(0).

bind(1).

%Predicate

byte_list([]).

byte_list([X]):-
    bind(X).

原文

I need to write a predicate that checks if the list is made up only by binary digits:

%Define a binary digit type

bind(0).

bind(1).

%Predicate

byte_list([]).

byte_list([X]):-
    bind(X).

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

蓝梦月影 2025-01-31 12:16:35

如果您想要具有关键字的版本bind：

byte_list([]).
byte_list([bind(H)|T]):- bind(H), byte_list(T).

输入示例：

% False
byte_list([bind(0), bind(2)]).
% True
byte_list([bind(0), bind(1)]).

如果您只想检查值属于bind> bind：

byte_list([]).
byte_list([H|T]):- bind(H), byte_list(T).

输入示例：

% False
byte_list(0, 2]).
% True
byte_list([0, 1]).

If you want the version with the keyword bind:

byte_list([]).
byte_list([bind(H)|T]):- bind(H), byte_list(T).

Input example:

% False
byte_list([bind(0), bind(2)]).
% True
byte_list([bind(0), bind(1)]).

If you just want to check that the values belongs to bind:

byte_list([]).
byte_list([H|T]):- bind(H), byte_list(T).

Input example:

% False
byte_list(0, 2]).
% True
byte_list([0, 1]).

回复收藏 0 原文

清风夜微凉 2025-01-31 12:16:35

使用语法规则，将bit_list（位，二进制数字）描述为空列表或列表元素0或1，其次是bit_list。

bit_list --> [].
bit_list --> ([0] | [1]), bit_list.

例如，

?- phrase(bit_list, [1,0,0,1,0]).
true

?- phrase(bit_list, [1,0,0,'',0]).
false

这也可以生成位列表：

?- length(Ls, 3), phrase(bit_list, Ls).
Ls = [0, 0, 0] ;
Ls = [0, 0, 1] ;
Ls = [0, 1, 0] ;
Ls = [0, 1, 1] ;
Ls = [1, 0, 0] ;
Ls = [1, 0, 1] ;
Ls = [1, 1, 0] ;
Ls = [1, 1, 1]

With a grammar rule which describes a bit_list (bits, binary digits) as either an empty list, or a list element 0 or 1 which is followed by a bit_list.

bit_list --> [].
bit_list --> ([0] | [1]), bit_list.

e.g.

?- phrase(bit_list, [1,0,0,1,0]).
true

?- phrase(bit_list, [1,0,0,'',0]).
false

This can also generate bit lists:

?- length(Ls, 3), phrase(bit_list, Ls).
Ls = [0, 0, 0] ;
Ls = [0, 0, 1] ;
Ls = [0, 1, 0] ;
Ls = [0, 1, 1] ;
Ls = [1, 0, 0] ;
Ls = [1, 0, 1] ;
Ls = [1, 1, 0] ;
Ls = [1, 1, 1]

回复收藏 0 原文

~没有更多了~