问题标签 [visual-prolog]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
database - Prolog - 事实和清单练习
问题是我需要编写一个能够查询数据库中产品的谓词,以便它返回一个列表,其中包含其价格降低的产品名称(由“状态”表示。
我很感激。现在,它给了我三种不同的解决方案。我怎么能强迫谓词给我一个解决方案?事实上,最后一个?
database - Prolog - 功能相同但没有 findall
有谁知道我如何实现我的谓词做这个但没有“findall”?十分感谢。
stored-procedures - Prolog - ODBC 接口
我有一个要求,比如将大数据从可视序言端插入到 oracle 数据库,最重要的是,所有数据都需要通过单个存储过程调用注入。我已经尝试过将数据作为字符串值传递,但是视觉序言中有一个约束,例如字符串变量的长度不能超过“250”个字符。因此,将它们作为字符串传递不符合我的要求。所以我尝试使用序言列表的形式传递数据term_str()
. 但不幸的是,在 oracle 端没有处理列表/数组项。我的 DBA 建议我以数组对象的形式传递大数据。有人知道如何将数组数据转换为可视序言中的数组对象。或通过单个存储过程调用将大数据插入数据库的任何其他建议?
prolog - 欧几里得递归算法
好吧,我知道这确实是一个愚蠢的问题,但我无法理解。有一项任务我应该找到 欧几里得(gcd)的递归算法。我已经完成了一个案例,在这里:
我需要做另一种情况,其中递归从 х0 开始,当 Xi 调用函数计数 Xi+1 时。应该是这样的:
但它不起作用。请帮帮我。
prolog - 处理序言中的错误
此代码用于解析编译器中的赋值语句。但是我需要向用户输出他的代码中的语法错误在哪里。
比如:如果他输入:x = x + 1,我想输出预期的';' 未找到。
我怎样才能做到这一点 ???
parsing - 将数字分成数字到序言
我想使用序言将数字分成列表数字
我怎样才能做到这一点 ?
我正在使用此谓词将字符串转换为字符串列表
ubuntu - ubuntu 上的 turbo prolog
我是 Prolog 的菜鸟。我希望安装turbo prolog
在 ubuntu 中。我怎么做。我用谷歌搜索了它,但一切都是徒劳的。turbo prolog
ubuntu还有其他选择吗?
prolog - 按列表中的相同字段进行 Prolog 搜索
我有那些结构的数据库
我如何获得家庭,与孩子同龄?
我试试
但它不起作用,似乎 findall 返回一个只有一个元素的列表 L。
prolog - 最大列表函数的 Prolog 问题:nondeterm vs procedure
我正在尝试在 prolog 中做一个小项目,用户可以输入一个列表,然后计算列表中的平均值、最大值等。
到目前为止一切顺利,但我在编写 max 函数时遇到了问题(在列表中找到最大数)。代码是:
该函数本身单独工作,但我收到此错误消息:
声明为“procedure”的谓词“forma::maxN/2 (i,o)”实际上是“nondeterm”forma.pro
这是我在 *.cl 定义中的谓词:
maxN: (integer* Z, integer U) 过程 (i,o)。
我不能将其声明为不确定,因为它会导致我的整个表格出现问题。你能帮我/给一个提示如何使它成为一个程序吗?我在想我必须在某个地方进行削减,但到目前为止我的尝试都失败了。
PS我正在使用Visual Prolog 7.4。
编辑:在尝试了将两条规则合二为一或使用累加器的替代方案之后,我现在知道谓词是“确定”而不是过程。根据我的 Prolog 指南,这意味着谓词现在没有多个解决方案,而是有可能失败。基本上我到目前为止所做的所有代码变体都让我有了一个“决心”。
prolog - 此序言程序显示错误,我无法检测到错误
我正在尝试在 Visual Prolog 上创建一个回文程序来检查用户输入编号。我以某种方式编写了一些代码,但它显示错误,我很难消除错误。 请,我需要有关此代码的帮助。
域 Num,Temp,Reverse=integer
谓词 回文
条款 *
目标 回文。