问题标签 [visual-prolog]

在视觉序言中，序言程序中有“域”部分，您可以在其中定义类型。swi-prolog中是否有类似的东西？

在视觉序言中，类型定义如下：

我想在 prolog 中制作一个基本的图书馆管理系统。该程序应回答诸如哪本书由哪个学生发行以及将返回哪本书之类的查询。我想要指导我需要学习哪些确切的组件（因为我对 prolog 非常陌生），我想快速开发它，因为我没有时间学习整个事情。我将使用视觉序言 7.3

提前致谢 MGD

我已经定义了房间门的列表：

还有一些谓词：

我正在寻找从一个房间到另一个房间的方法：

此谓词有效并返回：

Jest droga:feba

Jest droga:fedcba

这是房间列表，我必须将其从 a 传递到 f。run():- stdio::write("\nDroga zf do a"), R_list=["f"], go("f", "a", R_list), 失败。但是这个，一无所获。而且您可能会注意到，这与前一种情况正好相反。

我正在尝试一个函子 translate([3,5,1,3],[three,five,one,three]) 来执行打印数字的操作。像这样执行时我收到一个奇怪的警告，

35 ?- 翻译（[1,2,3],[a,b,c]）。错误：写入/2：流“a”不存在

谓词

条款

究竟是什么问题？这是预期值。

翻译([1,2,3],[a,b,c])

a = 一 b = 二 c = 三

是的

我在 Visual Prolog 中找不到任何关于“不等于”符号的文档。请提供此问题的正确解决方案：

我想要的成本答案是 a 和 d 之间所有 C（总距离）的总和。上面的代码不起作用，它不允许我采用新变量，请有人在上面进行更改代码，这样我就可以得到成本的总距离。请记住，我是 prolog 的新手，谢谢！

我必须做一个小程序来处理像A = {3,5,1,8}. 这样的集合可以由事实构成：

我有这些域和这个事实：

现在我必须实现一个让用户添加新集合的功能，但我必须使用谓词“readterm”从键盘读取集合，我不知道如何使用它：S

你能帮助我吗？

谢谢！

我想在 Prolog 中编写一个程序来确认是否对整数 b 树进行了排序。顺序从小到大。这是我到目前为止所写的，但我没有完成任何扎实的工作。有人知道该怎么做吗？

非常感谢。

I want to write a program in Prolog that builds a list of all the even integers that reside in a b-tree. This is what I've written so far. A predicate that counts all the elements in the tree. I don't know where to scratch.

Thanks a lot.

好的。那是我的问题。我需要实现一个谓词来总结列表中产品的所有价格。但是，就目前而言，我没有进一步了解它。我究竟做错了什么？提前致谢。