问题标签 [prolog-assert]

我尝试在 prolog 中创建一个简单的程序，但我有一个问题：

我希望用户拿起左轮手枪，然后（左轮手枪）从他所在的地方收回，这样他就不能再拿起它了。

当我运行我的代码时，take(revolver)查询会运行，但take(X)不会。

我有一个断言查询，类似于：

我希望用户键入a(1)or b(1)，程序分别显示aaor bb（到目前为止还不错），然后调用另一个过程，具体取决于用户键入的内容。

例如，如果他键入a(1)，我希望调用一个过程pro_a来运行，如果他键入 ，则分别运行b(1)一个过程pro_b

这些程序将是：

等等。

我尝试的是这样的：

但这不起作用。assert应该只有一个命令吗？（我不知道如何解释这一点）。

我是 Prolog 的新手，但我被这个所谓的简单命令所困扰。我已经加载了一个没有错误的知识库，每当我尝试断言（甚至帮助）时，我都会收到以下消息：

我到底错过了什么？赞赏。

我计划通过使用断言根据现有事实制作新事实。但是，要制作的事实数量将超过 500 个，因此键入分号以进行更进一步的工作变得相当繁琐。因此我想忽略或传递“真实”（在 SWI PROLOG 中）

有什么办法可以解决这个问题吗？（例如，自动传递所有的'true's ...）

这是我的代码的一部分

我有太多的纪律（X，Y）..

我是 Prolog 的新手，我很难使用动态谓词。

首先，这是我正在执行的代码

我知道代码看起来很奇怪，但我只是在寻找正确的语法来使用。

现在，如果我这样做：

添加（2，LL）。

答案将是：

LL = 2 ;

LL = []。

但我想要做的是将 X (2) 添加到数组 ([]) 中。所以..

LL = [2]。

它看起来很简单（可能是这样），但我无法让它工作。

非常感谢。

I am about to write code for my project, which is to create a database in SWI-Prolog. The program should contain ADDING, DELETING, SORTING and SEARCHING entries. My problems are:

1. I want to ADD 'runners' with capital letters.
2. When I'm addin/deleting something in database, the file stays either empty or the only entry is the entry I have actually added.

I'm using one file as database entries and the second file for all of the logic. Thanks for helping me in advance.

In the database, there are these records:

The '_' components are for example DATE, HEIGHT, WEIGHT, ... The database file is named database.pl.

In logic, there is this:

Every runner must be written by his name and surname, the other fields can be blank. How to do to add at least Name, Surname and at maximum Name, Surna,Height, Date, Weight... That only first two fields are mandatory others are not.

我csv_read_file用来读取一个csv文件，它是：

.csv 文件：

代码：

我得到了类似的东西：

但我需要的是

实际上是谓词。

我怎样才能摆脱这row件事？我想在那之后我只需要做assert()。

有人可以详细解释一下关于断言和撤回的 Prolog 逻辑视图吗？

例如在下面的代码中，Prolog 在第一次运行中返回 true，而在随后的运行中返回 false。我不知道为什么因为 asserta(nextBound(100))满足时的 Prolog 逻辑视图，nice(X) 在它开始时仍然被冻结，所以这个变化应该被忽略并且nextbound(100)必须是错误的。

我正在使用七周内的七种语言 Prolog 教程并尝试使用 Android Jekejeke 运行时运行一些示例。例如，如果我添加

从教程中，我明白了。

我尝试使用断言，如如何在 SWI-Prolog 中创建事实？，但后来它说那assert是未定义的，而不是喜欢。

大概我错过了一些关于运行时如何工作的基本知识，或者它的 prolog.it 方言。

我试图在另一个函数中调用随机函数。例如我想这样做assert(fact(random()).但它不起作用。如何以这种方式插入随机数？谢谢。