Prolog是最常用的逻辑编程语言。它通过按时间顺序回溯和通过统一的模式匹配来支持非确定性编程。
Prolog：类型错误：“可评估”预期，找到`[]'（empty_list）
我试图从列表中删除满足给定约束的元素。用户输入预算，并删除价格高于预算的项目。我在......时遇到类型错误
我正在研究验证龟文件的验证器。在处理函数以检查所声明的基数是否对每个对象都是正确的时，我无法弄清楚如何访问...的值
我正在尝试通过解决Advent Of Code谜题来学习Prolog，并且最终被困在我认为应该非常简单的任务上。这个难题就是这个。任务要求我......
我正在尝试使用约束（CLPFD）在Prolog中实现摩天大楼拼图解算器。我已经意识到一个很大的限制是计算最大开关的次数，而...
我想在Prolog中创建一个谓词pairlist（X，Y），当给出一个列表X = [1,2,3,4,5,6]时，它会在列表Y = [[1， 2]，[3,4]，[5,6]。你能帮我么？基本上，我不能......
所以我正在写一个背包问题，在我的任务中有一个规范，背包中不能有相同的“重量”项目。基本上我发送我的项目列表，这是“Pantry”，然后...
正如标题所说 - 你如何将字符串转换为整数？这个想法是这样的：convert（String，Integer）。示例：convert（'1'，1）。转换（ '33'，33）。我正在使用swi prolog
我要在prolog中写一个谓词，它带一个整数X并输出一个镜像的星号模式：****** ** ** * * * * ** ** ******
当列表X在Y列表之前时，precede_list（X，Y）为真。示例：precede_list（[1,2]，[1,2,3]）。所以在这个例子中，正确的答案将是[]，[1]，[1,2]我应该写什么谓词......
自然数的％生成器是自然数（0）。 isNatural（X）： - isNatural（Y），X是Y + 1。 rangeToList（From，To，ResultList）： - isNatural（X），X> From，X <To，％将X添加到...
我试图使用prolog将基数10转换为基数2这是我的代码：二进制（X，B）： - X> -1，tobin（B，X，1）。 tobin（S，0,1）： - S为0. tobin（S，0，V）： - V> 1，S为1. tobin（S，X，V）： - X> 0，...
在Prolog中是否有相当于Haskell的enumFromTo？
我刚刚开始使用Prolog，我希望执行以下任务：创建一个谓词A（P，N，L），使得对于所有C，它是L的第n个元素，P（N，C）。基本上我想表演......
我想禁止改变的作者审查他/她自己的gerrit变化。我知道这个建议的黑客，但这并没有真正解决问题。现在我从gerrit问题中了解到......
如何在错误出现mylist（[a，b，c]）之后使程序进入menu1 / 0。 myprog（X）： - mylist（L），成员（X，L）。 go： - start_message，menu1。 start_message： - 写（'这是一个程序。'），nl，...
Prolog - 在将每个值加倍后，从原始列表中创建元素的新列表？
产生痕迹的例子。我正在尝试写一个谓词，listDouble（L1，L2），其中L2中的每个元素都是L1中对应元素的两倍（即如果L1 = [1,2,3]则L2 = [2,4]， 6]）...
我的目标是在返回menu2 / 0 park（_，blue，basketball_court）之前打印出true或false的程序。 menu2： - nl，写（'选择操作：'），nl，写（'1。检查哪个停车...
我正在尝试在prolog中使用明确的子句语法来接受u，2，v形式的字符串，其中u是0和1的字符串。有一个约束条件，'u'中的零个数必须...
我有两个事实是x（a，b，c）和g（x，y，z）。我想创建一个规则来打印所有可能的答案，如果我从第一个事实中选择一个成员并将其与来自...的成员匹配
我有以下代码：pair_list（[X，Y]，[[X，Y]]）。 pair_list（[E，Z | X]，[K | Y]）： - [E，Z] == K，pair_list（X，Y）。当我运行它时，它给出了正确的输出？ - pair_list（[1,2,3,4,5,6]，[[1,2]，[3,4] ......