Prolog：以声明方式创建列表的 DRY 方式

发布于 2024-12-09 21:27:34 字数 660 浏览 0 评论 0原文

我正在使用 Prolog 进行一些实验，但遇到以下规则的困难：

row(Row, Matrix, [R1,R2,R3,R4]) :-
  cell(1, Row, Matrix, R1),
  cell(2, Row, Matrix, R2),
  cell(3, Row, Matrix, R3),
  cell(4, Row, Matrix, R4).

该规则根据给定的行号从矩阵中提取一行。例如，

row(2, [1,2,3,4,5,6,7,8], X)
 X = [5,6,7,8]

让我烦恼的是该代码中有很多重复。处理完 4x4 矩阵后，我将不得不处理 9x9 矩阵。而且代码可能会变得非常不干燥。

有没有办法提取重复的内容？

谢谢。

编辑：给我带来麻烦的完整代码在这里： https://github.com/kikito/7-languages-in-7-weeks/blob/master/3-prolog/day-3/sudoku-refactor.pl

原文

I'm doing some experiments with Prolog and having difficulties with the following rule:

row(Row, Matrix, [R1,R2,R3,R4]) :-
  cell(1, Row, Matrix, R1),
  cell(2, Row, Matrix, R2),
  cell(3, Row, Matrix, R3),
  cell(4, Row, Matrix, R4).

This rule extracts one row from a matrix, given its row number. For example,

row(2, [1,2,3,4,5,6,7,8], X)
 X = [5,6,7,8]

What nags me is that there is lots of repetition in that code. After finishing with 4x4 matrices, I will have to deal with 9x9 ones. And the code can get very non DRY.

Is there a way to extract that repetition out?

Thanks.

Edit: The complete code giving me trouble is here: https://github.com/kikito/7-languages-in-7-weeks/blob/master/3-prolog/day-3/sudoku-refactor.pl

分享到QQ

分享到微博

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

发布评论

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

断桥再见 2024-12-16 21:27:34

写完第一个答案后，我意识到您还可以使用 findall 简化您的程序

 row(Row, Matrix, L) :- findall(X,cell(_,Row,Matrix,X),L).

After writing my first answer, I realized that you can also simplify your program using findall

 row(Row, Matrix, L) :- findall(X,cell(_,Row,Matrix,X),L).

回复收藏 0 原文

独﹏钓一江月 2024-12-16 21:27:34

我会考虑将表示形式更改为列表列表而不是平面列表，然后选择一行变得非常容易。您可以只使用内置的 nth1/3：

 :- use_module(library(lists)). % I use Sicstus Prolog
 row(N,M,X) :- nth1(N,M,X).
 cell(R,C,M,X) :- nth1(R,M,Y), nth1(C,Y,X).
 column(N,M,X) :- findall(Y,(nth1(_,M,Z), nth1(N,Z,Y)),X).

 m([[1,2,3,4],[5,6,7,8],[9,10,11,12],[13,14,15,16]]).
 example(Row,Cell,Column) :- m(M), row(2,M,Row), cell(2,3,M,Cell), column(2,M,Column).

 %| ?- example(A,B,C).
 %A = [5,6,7,8],
 %B = 7,
 %C = [2,6,10,14] ? ;
 %no

I would think about changing the representation to a list of lists rather than a flat list, then selecting a row becomes very easy. You can just use the built-in nth1/3:

 :- use_module(library(lists)). % I use Sicstus Prolog
 row(N,M,X) :- nth1(N,M,X).
 cell(R,C,M,X) :- nth1(R,M,Y), nth1(C,Y,X).
 column(N,M,X) :- findall(Y,(nth1(_,M,Z), nth1(N,Z,Y)),X).

 m([[1,2,3,4],[5,6,7,8],[9,10,11,12],[13,14,15,16]]).
 example(Row,Cell,Column) :- m(M), row(2,M,Row), cell(2,3,M,Cell), column(2,M,Column).

 %| ?- example(A,B,C).
 %A = [5,6,7,8],
 %B = 7,
 %C = [2,6,10,14] ? ;
 %no

回复收藏 0 原文

~没有更多了~