Prolog -赋值而不是求值
Prolog是一种基于逻辑编程的计算机编程语言。它与传统的命令式或面向对象的编程语言有很大的区别。在Prolog中，我们描述问题的解决方法而不是明确指定如何执行计算。
赋值而不是求值是Prolog的一个重要特点。在Prolog中，我们通过定义事实和规则来描述问题的知识库，然后通过提出查询来获取答案。当我们提出一个查询时，Prolog会搜索知识库并尝试将查询与事实和规则进行匹配。如果匹配成功，Prolog会返回一个绑定（即赋值），而不是对查询进行求值。这种方式使得Prolog可以在逻辑上推理和解决问题。
Prolog的这种赋值而不是求值的特性使其在一些领域具有优势和广泛的应用场景。以下是一些示例：
- 人工智能：Prolog常用于专家系统和自然语言处理等人工智能领域。它可以用来表示和推理复杂的知识和规则，并且支持逻辑推理和模式匹配。
- 自然语言处理：Prolog可以用于解析和生成自然语言，例如在语法分析、语义分析和机器翻译等领域。
- 专家系统：Prolog可以用于构建专家系统，根据规则和事实进行推理和决策。它被广泛应用于医学诊断、故障排除和知识管理等领域。
- 逻辑编程教学：由于其简洁的语法和清晰的逻辑思维方式，Prolog经常被用于教授逻辑编程的基本概念和技术。
对于Prolog开发者，腾讯云提供了一些相关产品和服务来支持其开发和部署需求。以下是一些推荐的腾讯云产品和产品介绍链接：
- 云服务器（ECS）：腾讯云提供高性能、可扩展的云服务器实例，可用于部署和运行Prolog应用程序。了解更多：https://cloud.tencent.com/product/cvm
- 云数据库MySQL版：腾讯云提供托管的MySQL数据库服务，可用于存储Prolog应用程序的数据。了解更多：https://cloud.tencent.com/product/cdb_mysql
- 人工智能平台（AI Lab）：腾讯云的人工智能平台提供了一系列的人工智能服务和工具，可用于支持Prolog开发者在人工智能领域的应用开发。了解更多：https://cloud.tencent.com/product/ailab
请注意，这只是一些示例，腾讯云还提供其他云计算相关的产品和服务，可以根据具体需求选择合适的产品。
相关·内容
如何在Prolog中打印偶数？这是我打印从3到1的数字的代码:以及如何在anthor示例中使用不带(*)的mult：
predicates
count(integer).
clauses
count(1) :- write(1), nl, !.
count(X) :- X > 1, write(X), nl, X1 = X-1, count(X1), !.
浏览 3提问于2013-11-09得票数 4
为什么这会失败L is [1,2,3,4]，而这是有效的：L = [1,2,3]
但是L is 1和L = 1的工作原理是一样的。
浏览 0提问于2009-10-06得票数 14
回答已采纳
我最近在代码中有一个打字错误，这在某些情况下导致了无限循环(但似乎并不是在所有环境中)。
它看起来是这样的：
for (std::vector<myString>::iterator iter = myVector.begin(); iter != myVector.end(); ++iter = iter)
{
...
}
拼写错误是迭代器对自身的赋值。删除它可以解决问题。
我想知道在语句++iter = iter期间到底发生了什么？
我认为根据运算符的优先级，迭代器应该先递增，然后赋值给self，但我似乎遗漏了一些步骤(否则就不会有无限循环)。
我的感觉是它还涉及到变量的
浏览 0提问于2018-11-20得票数 0
2回答
我做了一个简单的留言簿mysql/php页面。如果“批准”列的值为1，则会显示一个条目。对于管理员，我希望显示“消息已批准”或“未批准”。下面是我的代码：
while ($row = mysql_fetch_array ($r)) {
print "<p>Guest:" .$row['name']. "</p>
<p>Date:" .$row['date']. "</p>
<p>Comment:". $row[
浏览 0提问于2010-04-21得票数 0
回答已采纳
1回答
我想知道是否有一种方法可以在SWI-Prolog中返回JSON对象，这样谓词名称就变成了键，实例化的变量就变成了值。例如：
get_fruit(JS_out):-
apple(A),
pear(P),
to_json(..., JS_out). # How to write this part?
apple("Gala").
pear("Bartlett").
我期望JS_out是：
JS_out = {"apple": "Gala", "pear": "Bartlett"
浏览 17提问于2018-03-02得票数 3
回答已采纳
2回答
我有以下prolog代码：
equiAngularTriangle(T) :-
equiLateralTriangle(T).
equiLateralTriangle(T) :-
equiAngularTriangle(T).
有没有办法让口译员不问同一个问题两次？例如，如果我问equiAngularTriangle(t)，那么它会先问equiLateralTriangle(t)，然后再问equiLateralTriangle(t)，但它应该知道不要再问最后一个问题，因为同样的问题也在“查询堆栈”上。
是否有一个选项或一些特殊的语法可以让Prolog按照我想要的方式运行？
浏览 0提问于2012-02-07得票数 2
回答已采纳
我测试代码
L:=[2,1];
sum('a||b*L[1]', 'b' = 1 .. 2);
它返回a1*L[1]+a2*L[1]，但我希望在评估L[1]之后得到a1*2+a2*2。有什么想法吗？
谢谢。
编辑：
我还有一个问题。下面是测试代码：
L := [2, 1]
test := proc (i) local a1; a1 := 1; add(a || b*L[i], b = 1 .. 2) end proc
test(1);
将得到2 a1 +2 a2，而不计算函数测试中定义的局部变量a1。我希望得到2*1+2*
浏览 0提问于2012-02-08得票数 0
回答已采纳
我是swi-prolog的新手，所以基本上我不知道如何编写代码……无论如何，我需要写一个关于课程先决条件的精确日期。它将返回所有必修课程的列表。下面是我的代码： course(cmput325).
course(cmput175).
course(cmput201).
course(cmput204).
prerequisite(cmput204, cmput325).
prerequisite(cmput175, cmput201).
prerequisite(cmput175, cmput204).
/*required(+C,?L)*/
pre(X,C) :- prerequisi
浏览 57提问于2019-03-14得票数 3
回答已采纳
谓词
nondeterm s(integer,integer)
nondeterm p(integer,integer,integer)
子句
s(V,R) :-
p(0,V,R).
%,write(R),nl.
p(R,0,R).
p(Inc,V,R) :-
I2=Inc+V,
N1=V-1,
p(I2,N1,R).
目标
s(9,O).
给出一个算术溢出，，，为什么？？
浏览 7提问于2018-12-02得票数 0
3回答
我被要求设计一种算法，允许用户计算矩形的周长和面积，但这太简单了：
Perimeter = 2 (Length + Width)
Area = (Length * Width)
我想用我的教授第一天展示给我们的一个类似的结构来构建一个程序，这样我就可以让一个程序从用户那里收集数据，为我计算矩形的周长和面积，然后将结果输出给用户。这很简单，所以我决定让程序也告诉我用户输入的长度和宽度是矩形还是正方形的长度和宽度。
在我写的代码中，程序总是返回输入的长度和宽度是正方形的长度和宽度。我不确定我哪里出错了：
下面是我的代码：
#include<iostream>
using namespa
浏览 0提问于2017-06-30得票数 2
我在页面上有一个复选框。我想从一个codebehind方法中设置它的enable属性。我已经这样做了Enabled= '<%#IsSMSEnabled()%>' />
IsSMSEnabled根据某些逻辑返回true或false。
无论IsSMSEnabled()%返回什么，复选框始终处于启用状态
浏览 0提问于2011-06-06得票数 1
回答已采纳
当我试图运行下面的代码错误时，我得到了错误。Fatal error: Can't use method return value in write context in Lumen 5.2.
在我的路线上：
$app->post('oauth/access_token', function(Request $request) {
$userverify=User::Where('username',$_POST['username'])->orWhere('email',$_POST[
浏览 7提问于2019-06-25得票数 0
回答已采纳
我得到了这个错误，然后我尝试从GitHub获取数据。找不到解决方案。我是Javascript语法的新手，不知道很多东西。 HTML文件： <form onSubmit="getData(event)">
<input type="text" name="username">
<button>Get data</button>
</form> 脚本文件： getData = async (event) => {
event.preventDefault()
浏览 6提问于2021-03-22得票数 0
回答已采纳
1回答
php中的二次方程求解器
、、、、
我试图在php中创建一个二次方程求解器：
index.html:
<html>
<body>
<form action="findx.php" method="post">
Find solution for ax^2 + bx + c<br>
a: <input type="text" name="a"><br>
b: <input type="te
浏览 1提问于2015-04-16得票数 2
回答已采纳
为什么在打印名称时出现错误“未捕获异常:错误(type_error(evaluable，'Jack'/0)，(is)/2)”。
“测试(180)。”
info('Mike','Ross',166).
info('Jack','John',180).
test(Name):- info(Y,_,T),T>170, Name is Y.
浏览 2提问于2021-06-25得票数 1
1回答
我想写一个程序，告诉我一棵树是否平衡。在这种情况下，平衡意味着相同的高度或高度差为1。
这就是我到目前为止所写的，但是它不适用于高度差1。为什么？
balanced(l(_)).
balanced(b(B1, B2)):-
height(B1,H),
height(B2,H),
balanced(B1),
balanced(B2).
balanced(b(B1,B2)):-
height(B1,H + 1),
height(B2,H),
balanced(B1),
balanced(B2).
balanced(b(B1,B2)
浏览 2提问于2011-09-05得票数 2
回答已采纳
在Makefile中，我尝试将shell命令的结果赋给一个变量：
TMP=`mktemp -d /tmp/.XXXXX`
all:
echo $(TMP)
echo $(TMP)
但
$ make Makefile all
回显2个不同的值，例如：
/tmp/.gLpm1T
/tmp/.aR4cDi
在变量赋值时计算mktemp的语法是什么？
谢谢。
浏览 0提问于2009-09-16得票数 21
回答已采纳
当[X2,Y2]是[X1,Y1]的邻居时，我有一个is_adjacent([X1,Y1], [X2,Y2])子句，它是真的。如果我问is_adjacent([2,2], [X,Y])，我会得到所有可能的结果(四个)，在本例中：
is_adjacent([2,2],[X,Y]).
X = 2,
Y = 3 ;
X = 3,
Y = 2 ;
X = 2,
Y = 1 ;
X = 1,
Y = 2.
我想在另一个子句中使用此行为：
anotherClause :-
is_adjacent([2,2],[X,Y]),
[to be continued...].
现在，我如何能自动处理所
浏览 0提问于2013-04-18得票数 0
代码如下-
<?php
$i = 5;
while (--$i > 0 || ++$i)
{
print $i;
}
?>
正确答案是4321111.......。但是它怎么可能从4开始，应该从5开始，在我看来，答案应该是55555555......。
浏览 0提问于2017-08-08得票数 0
回答已采纳
1回答
我有个小问题。我已经尝试了许多不同的方法，但我没有找到一个正确的解决方案。伙计们，你们能帮我吗？如果我尝试导入和数组，我会遇到一些错误。
数据库名称: kontaktid
标签名称: kontaktids
下面是我在KontaktidController.php中的函数
function import() {
$messages = $this->Kontaktid->import('export.csv');
debug($messages);
}
这是我的模型文件Kontaktid.php
<?php
class
浏览 1提问于2014-12-05得票数 0
1回答
我已经为以下问题挣扎了很长一段时间。我想让通常的Prolog统一更加智能。
基本上，我希望某些变量能够理解，例如0= ~1和1= ~0。这不能正常工作：
?- op(300, fy, ~).
true.
?- X = ~Y, Y = 0.
X = ~0,
Y = 0.
我知道中电(B)是可以做到的：
Welcome to SWI-Prolog (threaded, 64 bits, version 8.3.7)
:- use_module(library(clpb)).
true.
?- sat(X=:= ~Y), Y = 0.
X = 1,
Y = 0.
但是我需要比加载一个完整的CL
浏览 13提问于2020-11-14得票数 2
2回答
for (int i = 0; i < 10;) {
i=i++;
System.out.println("Hello World" );
}
基本上，i的值保持不变，并且保持为0，因此它是无穷大的。但是为什么它不改变呢？
如果我将i=i++更改为i++，它就可以工作。(不是无限循环)。
浏览 2提问于2016-02-16得票数 2
我是Python的新手，我正在尝试理解一些基本的东西。我有这样的代码：
def mix_up(a, b):
a,b=b[0:2]+a[2:], a[0:3]+b[3:]
print (a,b)
mix_up("abcd","efgh")
为什么b没有得到a的"new“3个字母(即"efch")？有没有在一行中完成它的优雅，或者我必须使用其他变量？
谢谢!
浏览 2提问于2016-06-09得票数 0
我的php文件中有下面这段遗留代码： $id = $request->getParameter('id', null);
if ($isCopy = null !== $id) {
// Do domething
} 我所理解的是，它从URL获取参数'id‘并检查它是否为空。我想了解一下这个逻辑是如何工作的？if ($isCopy = null !== $id)
浏览 28提问于2019-10-04得票数 0
回答已采纳
5回答
给定下面的代码，Bar(int y)中的方法参数y会被赋予x或1中的值吗？我知道它们在逻辑上是等价的，但我想了解赋值操作。
class Program
{
static void Main(string[] args)
{
var foo = new Foo();
var x = 0;
foo.Bar(x = 1);
}
}
public class Foo
{
public void Bar(int y)
{
}
}
浏览 3提问于2010-09-03得票数 3
回答已采纳
有人能告诉我这段代码是怎么工作的吗？
#include <stdio.h>
void main() {
int m,k;
m=(k=5) + (k=8) + (k=9) + (k=7);
printf ("%d\n", m);
} // output 32
当我在我的编译器中运行这段代码时，输出是32。
不知道为什么。
浏览 15提问于2021-05-18得票数 1
流插入操作符的关联性是rtl，忘记了这一事实有时会导致运行时或逻辑错误。例如：
第一个-
int F()
{
static int internal_counter c=0;
return ++c;
}
在main函数中：
//....here is main()
cout<<”1st=”<<F()<<”,2nd=”<<F()<<”,3rd=”<<F();
输出结果为：
1st=3,2nd=2,3rd=1
这与我们乍一看所期望的不同。
第二-假设我们有一个堆栈数据结构的实现，如下所示：
//
/
浏览 0提问于2010-03-21得票数 3
回答已采纳
1回答
当我遇到一个问题时，我正在做一些工会的实验。
union U
{
// struct flag for reverse-initialization of each byte
struct rinit_t { };
constexpr static const rinit_t rinit{};
uint32_t dword;
uint8_t byte[4];
constexpr U() noexcept : dword{} { }
constexpr U(uint32_t x) noexcept : dword{x} { }
constexpr U(ui
浏览 5提问于2020-09-05得票数 5
我已经注意到，在内存使用方面，惰性设置之间存在差异：
XML2_INC=$(shell echo `xml2-config --cflags`)
和立即设置：
XML2_INC:=$(shell echo `xml2-config --cflags`)
使用以下命令时，在makefile中执行同步作业：
make -j
来自系统监视器的屏幕：
在时间线的第40秒左右，使用了惰性集合，在大约15秒内，使用了立即集合。所以我的问题是，为什么这两者在内存消耗上有如此大的差异？
浏览 0提问于2016-10-24得票数 3
我想这是相当简单的，我应该能够得到，但我有问题。我似乎在任何地方都找不到答案。
考虑这样的场景:我有两个文件(我们称它们为index.php和global.php)。我正确地引用了require_once()文件。
Index.php：
<?php
require_once('./global.php');
$database = new database();
echo $database->dbname;
?>
Global.php：
<?php
class database {
public $dbname = 'jdoe';
}
浏览 0提问于2011-08-20得票数 1
回答已采纳
3回答
假设有以下事实和谓词：
sound(time1).
sound(time2).
sun(time3).
relax(X):-sound(X),!,sun(X).
relax(_):-sun(_).
当执行relax(S).时，由于!，我期望得到S=time1 (如果我错了，请纠正我)，如果'X‘是满意的，那么停止回溯。
下面是跟踪信息：
3 ?- trace.
true.
[trace] 3 ?- relax(S).
Call: (6) relax(_G1831) ? creep
Call: (7) sound(_G1831) ? creep
Exit: (7) s
浏览 0提问于2013-02-25得票数 20
回答已采纳
所以，当我在Chrome JS控制台上进行实验时，我发现了一些令人费解的事情。 当我在控制台中运行以下命令时，控制台将打印undefined var i = 10; 但是，当我运行此命令时，它会打印10 j = 10 这是我的控制台中的结果屏幕截图。 ? 有人能给我解释一下为什么会有这种行为上的差异吗？
浏览 134提问于2018-01-04得票数 0
回答已采纳
3回答
int& foo() {
printf("Foo\n");
static int a;
return a;
}
int bar() {
printf("Bar\n");
return 1;
}
void main() {
foo() = bar();
}
我不确定应该先评估哪一个。
我已经在VC中尝试过先执行bar函数。然而，在g++编译器(FreeBSD)中，它首先给出foo函数的求值结果。
上面的问题引出了许多有趣的问题，假设我有一个动态数组(std::vector)
std::vector<int>
浏览 0提问于2011-11-28得票数 8
我有一段这样的代码：
terms = {}
while 1:
terms[raw_input('input latin: ')] = raw_input('input meaning: ')
我希望先输入一个拉丁语单词，然后给出它的翻译，然后将其添加到字典中。
然而，我被提示这样做：
$ python latinvocab.py
input meaning:
注意如何首先要求翻译，而不是拉丁文。
显然，绕过这种情况的一种方法是引入一些变量，也许可以这样做：
terms = {}
while 1:
latin = raw_input('
浏览 1提问于2014-09-21得票数 0
回答已采纳
3回答
我需要一些帮助，我正在尝试创建一个例程。我需要创建一个如下所示的例程：
difference([(a,b),(a,c),(b,c),(d,e)],[(a,_)],X).
X = [(b,c),(d,e)].
这件事我真的需要帮助..
到目前为止，我已经编写了一个方法，可以删除它找到的第一个匹配项。但是，我需要它来删除所有匹配项。这是我到目前为止所做的。
memberOf(A, [A|_]).
memberOf(A, [_|B]) :-
memberOf(A, B).
mapdiff([], _, []) :- !.
mapdiff([A|C], B, D) :-
m
浏览 4提问于2009-12-10得票数 4
var name = new Array('freddy', 'mac', 'fanny', 'may');
var content = 'hi '.+name[i]+.'!';
$('div.class').each(function (i) {
this.html(content);
});
这个javascript应该输出hi freddy！嗨，麦克！嗨，范妮！嗨，阿美！
但是var有一个错误，因为它反射了一个尚未设置的数组。
浏览 0提问于2012-12-22得票数 0
回答已采纳
如果我赋值一个变量，如下所示
var a = $("input").val();
在程序开始的时候。然后调用类似这样的东西：
$("div").html(a);
当执行var a = $("input").val();或执行行：$("div").html(a);时，是否会打印input中的值的值？
浏览 0提问于2011-08-06得票数 0
回答已采纳
我试图评估列表中每3个连续的元素，比较它们，然后将中间的元素提取到另一个列表中。
例如：
我有这样的列表：[1，2，2，2，2，3，2，4]
eval #1: 1,2,2,2,2,3，因为第一个和第三个元素是(2>1 & 3>2)，所以中间元素将被取。
eval #2: 2,2, 2,3 ,2,4，因为!(2>2)，所以中间的元素2，3不会被取。
但是，在Tracker变量的最后一步，我找不出函数失败的原因。
findMirror([],_).
findMirror([[X1,Y1],[X2,Y2]|[[X3,Y3]|T]],Tracker) :-
write([
浏览 1提问于2020-11-26得票数 0
2回答
我正在尝试自定义提示符。当我点击enter时，提示符中的某些值应该会更新，但它不会更新。我尝试添加导出，如下所示 export PS1="[$v0][$v1][$v2][$v3]$" 但不会更新。例如，在控制台中，我写下0 2 "date -R"，输出如下所示 [Fri, 28 Aug 2020 16:54:00 +0200][][][]$ 当我按enter键时，它保持完全相同，但我希望它被更新。我还尝试在PS1中使用单引号而不是双引号，但不起作用。 下面是完整的代码： #!/bin/bash
updatedata() {
v=$(awk -v str
浏览 18提问于2020-08-28得票数 0
在下面的代码中(这是 one的后续问题，但与那个问题没有任何关系)，我基本上是将一个函数赋给一个对象的属性。函数本身基本上打印对象中所有属性的键。
function print(item) {
console.log(item);
}
var hello = {
10: 100,
20: 200,
30: 300,
40: 400,
50: 500
};
hello.print = function () {
Object.keys(hello).map(print, this);
};
hello.print();
在上面的例子中，函数像预期的那样打印自己的
浏览 0提问于2014-08-10得票数 0
请解释此代码的行为：
#include <QCoreApplication>
#include <QMap>
int testFunc(const QList<int>& data)
{
// my debugger says data is {0,3}, but I expected {2, 3}. What happened?!
return data.at(0);
}
int main(int argc, char* argv[])
{
QCoreApplication a(argc, argv);
QMa
浏览 6提问于2019-07-15得票数 1
回答已采纳
1回答
当有人输入错误的用户in或密码时，我会得到代码来告诉我。我可以让用户在get输入第一个用户I和密码时进入 user1和pass1 但是，如果他们尝试user2和pass2，它会说这是一个错误的密码。我知道这是我在循环方面的逻辑错误，但是，我无论如何也找不到它！如果你们可以的话，请帮我理解一下！ 谢谢 <!DOCTYPE html>
<html lang="en">
<head>
<title>Assignment 1</title>
<link rel="stylesheet" type=&#
浏览 11提问于2019-02-12得票数 0
我们如何从一个只接受一个参数的prolog函数中返回值？例如。leaf(V)是一个应该返回值V的函数，并且它是从函数树(leav(V)，sum)中调用的。
浏览 3提问于2016-11-27得票数 3
回答已采纳
2回答
以下内容是否有效？
template <typename T>
std::pair<T, T> foo(T one, T two) { ... }
std::tie(one, two) = foo(std::move(one), std::move(two));
(假设所涉及的类以有效的方式处理对移出对象的赋值)。
通过阅读更新后的，我认为这个问题已经解决了，但我在标准中找不到确切的参考资料来验证这一点。有没有人能帮忙提供呢？
浏览 3提问于2021-03-24得票数 4
我编写了一个Prolog程序来求解简单的三角方程。我写它是为了得到三角函数的值。例如，我可以获得sin(45)的值，但不能将sin(45)的值赋给术语sin(45)。我试过=,==,=:=操作员，但他们没有工作。实际上，我想将sin(45)的值传递给程序的下一个代码，而不是术语sin(45)。谢谢..。
浏览 0提问于2014-09-01得票数 3
回答已采纳
CPath = (CPath == null) ? Request.Path : CPath;
首先，我希望CLR能让我这样做？Request.Path，而不是创建一个：
但我想问的是，它会优化它吗？或者仍然分配。
浏览 0提问于2010-10-07得票数 1
回答已采纳
1回答
通过按名称传递变量的求值
、、、
我正在学习参数传递。
我一直在研究一个关于参数传递的问题，但我不理解一个问题。
我在互联网上搜索，但没有参数表达式的例子。
如果它是一个表达式，我能知道如何计算按名称传递的值吗？
问题如下。
function func(int a, int b, int c)
begin
a := b + c;
b := c + 1;
print a, b, c;
end
function main
begin
int x := 10;
int y := 5;
ink z := 15;
func(x, y, y + z);
pri
浏览 3提问于2019-11-23得票数 0
1回答
下面是我的php联系人表单：
用户输入信息的页面：
<div style="padding-left: 50px">
<p class="arial"><strong></strong><br /><br /></p>
<form action="freecontact2formprocess.php" method="post">
<table class="freecontact2form" border=&
浏览 2提问于2013-01-31得票数 0
编辑:我让程序完成了循环，现在它只是在完成循环之前给了我一堆0-所以这是我代码的更新版本。
尝试创建一个程序，首先一个接一个地打开LED，一旦LED全部点亮，就会一个接一个地关闭，并不断地打开和关闭它们。我已经成功地点亮并关闭了它们，但当程序在完成循环并重新开始之前将它们全部关闭时，似乎会卡住一段时间。
int t=1000;
unsigned long time;
int pin;
int value;
int a;
int b;
void setup() {
// put your setup code here, to run once:
for(pin=2; pin<8
浏览 2提问于2016-02-27得票数 1
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
