Question

所以我的目标是根据这些事实展示世界（不仅仅是硬编码）：

on(a,table).
on(b,table).
on(c,table).
on(d,table).
on(e,table).
on(f,table).
on(g,table).
on(h,b).
on(i,h).
on(j,i).
on(k,c).
on(l,k).
on(m,f).
on(n,m).
left(a,b).
left(b,c).
left(c,d).
left(d,e).
left(e,f).
left(f,g).

打印后应该看起来与此类似。

          J  
          i  L        N  
          h  k        m  
       a  b  c  D  E  f  g
       ___________________________________
           Table

我尝试使用类似于此的bagof（）来获取每个级别，但是这将超过2个级别变得乏味，我确定有更好的方法来做到这一点我只是想不到它。

bagof(X,(on(X,table)),Bottom),  
bagof(D,Z^(on(D,Z),on(Z,table)),Level01),

非常感谢任何帮助，谢谢。

Answer 1

将“逻辑”布局与实际IO问题分开可能会有所帮助（但请注意，不使用左/ 2约束）：

coords(Cs) :-
    findall(E, on(E,table), Base),
    findall(placed(E,1,C), nth1(C,Base,E), OnTable),
    rows(OnTable, [], Cs).

rows([], Rs, Rs).
rows(Row, Rows, Full) :-
    findall(placed(F,R1,C), (member(placed(E,R,C), Row), on(F,E), R1 is R+1), ThisRow),
    rows(ThisRow, [Row|Rows], Full).

现在我们得到了

?- coords(X),maplist(writeln,X).
[placed(j,4,2)]
[placed(i,3,2),placed(l,3,3),placed(n,3,6)]
[placed(h,2,2),placed(k,2,3),placed(m,2,6)]
[placed(a,1,1),placed(b,1,2),placed(c,1,3),placed(d,1,4),placed(e,1,5),placed(f,1,6),placed(g,1,7)]
X = [[placed(j, 4, 2)], [placed(i, 3, 2), placed(l, 3, 3), placed(n, 3, 6)], [placed(h, 2, 2), placed(k, 2, 3), placed(m, 2, 6)], [placed(a, 1, 1), placed(b, 1, 2), placed(c, 1, 3), placed(d, 1, 4), placed(..., ..., ...)|...]] 
.

[placed(a,0,1),placed(b,0,2),placed(c,0,3),placed(d,0,4),placed(e,0,5),placed(f,0,6),placed(g,0,7)]

所以，而不是writeln / 1，应该足以打印一个带空格的行来填充跳过的列。

实际上，placed(Label,Row,Col)中的行可能是隐式的，代码会更简单......看看你是否可以做'优化'。

Prolog：展示平坦的世界

1 个答案: