布局Prolog术语

我的一个艺术项目是关于序言术语的视觉方面。我目前的重点是 对齐/填充不在语法变量1上

让我们假设我有类似于

write\u tokens

我可以在哪些标记之间插入额外的空白字符？

我（半学历）的猜测是：

除了在

open\u ct

token之前，任何地方都可以

是这个吗？似乎太容易了：）

提前谢谢你

---

---

脚注1：语法变化（如

[1]

与

[1 |[]]

）、语义变化、变量名称选择、冗余消除、使用标记突出显示、字体大小/样式/颜色也是该项目中的重要问题，他们并不是这个问题的焦点。

对于那些使用规范

的人来说，open\u ct

意味着什么，但对于其他人来说，我确信他们在挠头。除了提供的标签外，可能还有指向的链接。我相信这里的很多人从来没有点击过

isoprolog

标签。前缀操作符呢？e、 g.

-1=-1。错误。

不要忘记可以在令牌中插入的布局@重复：例如，

[/**/]

括号是单独的令牌，令牌内没有布局。问题是，一些原子序言术语被打印为不止一个标记。对于那些使用spec

open\u ct

的术语来说，这意味着什么，但对于其他的术语，我确信它们是在挠头。除了提供的标签外，可能还有指向的链接。我相信这里的很多人从来没有点击过

isoprolog

标签。前缀操作符呢？e、 g.

-1=-1。错误。

不要忘记可以在令牌中插入的布局@重复：例如，

[/**/]

括号是单独的令牌，令牌内没有布局。问题是一些原子序言术语被打印为多个标记。