如何在prolog中获得曾曾祖母
在Prolog中获得曾曾祖母可以通过递归查询家族关系来实现。首先，我们需要定义家族关系的事实和规则。假设我们有以下家族关系：
female(ann).
female(mary).
female(jane).
female(lisa).
female(sarah).
female(emily).
male(john).
male(peter).
male(james).
male(jack).
male(david).
male(jacob).
parent(john, mary).
parent(john, peter).
parent(john, jane).
parent(mary, lisa).
parent(mary, james).
parent(peter, sarah).
parent(peter, jack).
parent(jane, emily).
parent(jane, david).
parent(lisa, jacob).
% 规则：X是Y的祖父母，如果X是Y的父母的父母
grandparent(X, Y) :- parent(X, Z), parent(Z, Y).
% 规则：X是Y的曾祖父母，如果X是Y的祖父母的父母
greatgrandparent(X, Y) :- grandparent(X, Z), parent(Z, Y).现在，我们可以使用greatgrandparent/2规则来查询曾曾祖母。例如，如果我们想要找到"emily"的曾曾祖母，可以执行以下查询：
?- greatgrandparent(X, emily).Prolog会返回所有满足条件的曾曾祖母的结果。你可以根据实际情况进行相应的调整和扩展。
请注意，以上示例中没有提及任何特定的云计算品牌商。如果需要与腾讯云相关的产品和链接，可以在回答中提供相关信息。
相关·内容
我是prolog的新手，我正在尝试写一个家谱，我得到了父母，母亲，父亲，姐妹，兄弟等的代码。我正在试着写代码来得到曾曾祖母 我有这个代码来获取曾祖母/s： great_grandmother(X,Y) :- parent(X,V), parent(V,W), parent(W,Y), female(X). 然而，我试了很多次去找曾曾祖母，但都不起作用。我如何修改我的代码来获得曾曾祖母？ 而且，当我在swish.swi上运行我的代码时，我得到了所有正确的曾祖母，但程序一直在运行，它给我的结果是假的。有没有什么办法可以根据我的代码来修复它，以获得曾祖母呢？
浏览 21提问于2020-04-16得票数 0
回答已采纳
2回答
我想知道是否可以测试谓词是否已经存在(具有相同的信息)，从而避免用户能够再次输入相同的信息。
我已经为一个谓词做到了这一点：
:- dynamic(test/2).
test(a,b).
top(X,Y) :-
(test(X,Y),
write('Yes'),!
;write('No'),!
).
这个版本运行得很好，如果信息已经存在，则返回“Yes”，如果不存在，则返回“No”。
我想知道是否有可能对多个前缀执行此操作，而不仅仅是'test/2'；我曾尝试将谓词'test‘替换为变量Pred，但不
浏览 18提问于2017-02-06得票数 1
回答已采纳
菜单得分凯鲁桑
分数来自UTS = 70%，UAS = 30%if分数>=90 Lulus级如果分数>=80 Lulus级如果分数>=70 Lulus等级C<code>H19<//code>if分数>=60 Tidak等级D<code>H 210</code><code>H 111</code>如果分数为<=59 Tidak Lulus级<code>H 212</code><code>F 213</code>
注:我曾见过有人在制作类似的prol
浏览 5提问于2022-05-21得票数 -1
3回答
基于Prolog的解释器
、、、
我已经接触过函数式编程；我熟悉(虽然不是很精通) Haskell和PLT Scheme。我曾使用PLT Scheme为玩具语言构建过小解释器(参考PLAI)--我更擅长使用命令式语言。
有没有人可以帮我找到一些资源，我可以用这些资源用Prolog为我选择的一种玩具语言构建一个小的解释器？
浏览 1提问于2011-11-05得票数 7
回答已采纳
1回答
我正在Prolog中建立一个基本的拉丁语翻译。我有目前以这种格式存储的数据，作为谓词：
noun("femin","femin",1,"f",translation("woman","women")).
verb("port", "portare", "portav", "portat", 1, translation("carry","carrying","carried")).
nounendin
浏览 1提问于2013-12-07得票数 3
回答已采纳
在我的web应用程序中，为了使用XSLT2.0，我需要使用TransformerFactory，但是我不能使用setProperty方法，因为我在web服务器上没有这个权限，并且有一个安全管理器。
因此，我曾读到，这样做是可能的：
如果可用，使用Services (如JAR规范中的详细内容)来确定类名。Services将在运行时可用的jars文件META-INF/services/javax.xml.transform.TransformerFactory中查找一个类名。
我在WEB/lib/saxon9.jar中找到了这个文件，但是当我看到一个TransformerFactory时，默认的
浏览 6提问于2010-06-03得票数 24
我需要使用write()打印到流中，但是我不知道如何打印空格。例如，我想写
10 3
5 3 6
write(‘10 3')只写了10 3(删除多余的空格)，我想打印前导空格。有人知道我是怎么做到的吗？
编辑:我想打印一个包含一些空格和一些数字的字符矩阵。一个程序的最终目标是。但如果我这么做了
?- write(' '), write(' '), write('3')
3
true
我想要实现
3
浏览 0提问于2020-05-09得票数 0
3回答
我正在尝试编写一个过程order(List,Result)，该过程以List作为输入，并返回排序对的列表Result，这样：
有序对的第一个元素是对在列表中的位置，而排序对的第二个元素是来自list n的对应位置的元素。
示例：
如果是List = [a,b,c,d]，则过程顺序(列表、结果)输出列表：Result = [(1,a), (2,b),(3,c),(4,d)]。
我正在为名单中这两个人的位置而苦苦挣扎。我曾尝试过，例如：
increment(Accum,Total):-
Total is Accum + 1.
order([],[]).
order([Head|Ta
浏览 1提问于2011-05-31得票数 2
回答已采纳
1回答
我曾尝试将谷歌地图整合到离子3 android项目中。当作为“离子服务”运行时，它工作得很好，但在“离子cordova运行android”中却不是这样。我在模拟器上只看到一个空白页。
浏览 7提问于2017-07-04得票数 2
我在RecyclerView类中遇到了一个IllegalArgumentException。我如何才能将日志语句添加到方法中？
我曾考虑过创建RecyclerView的子类并覆盖recycleViewHolder方法，但这将迫使我用我创建的实例替换所有的RecyclerView实例。我想知道有没有更简单的方法。
浏览 0提问于2017-07-11得票数 0
1回答
我正在尝试读取“nouns.csv”文件，该文件在记事本中如下所示：
femin,femin,1,f,woman,women.
aqu,aqu,1,f,water,waters.
我曾尝试在中使用此方法：
18 ?- read(X).
X = end_of_file.
19 ?- see('nouns.csv').
true.
20 ?- seeing(X).
X = <stream>(000000000017F770).
21 ?- read(X).
X = end_of_file.
22 ?-
我完全没有输入和输出的经验(任何语言)，我很困惑。我以为r
浏览 0提问于2014-02-02得票数 1
回答已采纳
如何将元素附加到Prolog中列表的开头？我需要这样的最终结果：
pushFront(8, [3, 1], NewList). % NewList is now [8, 3, 1].
我曾尝试实施以下措施：
pushFront(Item, [], [Item|_]). %Problematic
pushFront(Item, [OldDequeH|OldDequeT], NewDeque) :-
leftPush(OldDequeH, OldDequeT, [Item|NewDeque]).
但是它不起作用，而且我没有想法了。有人能描述我的实现有什么问题吗?它需要哪些更改才能正常工作？
浏览 5提问于2016-04-28得票数 4
回答已采纳
male(jerry).
male(stuart).
male(warren).
male(peter).
female(kather).
female(maryalice).
female(ann).
brother(jerry,stuart).
brother(jerry,kather).
brother(peter, warren).
sister(ann, maryalice).
sister(kather,jerry).
parent_of(warren,jerry).
parent_of(maryalice,jerry).
向我提供了上述事实，我需要使用谓词parent_o
浏览 0提问于2017-03-30得票数 0
1回答
我的目标类似于这个，但我需要它在GAS/JS/HTML中。
mesej是一个变量，它存储一个长字符串，需要显示为html电子邮件中字符串的2行。该字符串值位于gsheet单元格A14中。当我在GAS中使用\n来打断一个接一个符号:的行时，行中断在gsheet中显示得很好，但在html电子邮件中却不是这样。
我曾尝试过使用<br>和%A0，但最终在html电子邮件中出现了这些标记，当我使用mesej.split(":").join(":\n")时，我会收到一封来自google的回弹邮件，这表明电子邮件被屏蔽了。请帮助纠正我的代码。谢谢。
我的GS函数
浏览 6提问于2020-10-23得票数 0
通过定义一个函子来检查谓词函子(术语，F，A)是否成功
我试过的代码是
喜欢(玛丽，披萨)
这是正确的吗？
浏览 3提问于2022-10-07得票数 1
回答已采纳
1回答
我在理解Prolog中“树”遍历的概念时遇到了困难。
给定一个输入列表，如果存在于叶子中，则以下代码将原子hi替换为bye (忽略函数器)。我将注释%放在让我困惑的部分旁边：
replace([],[]).
replace([H | T], [H1 | T1]):-
( H == hi -> H1 = bye;
replace(H, H1) % P1: What exactly does replace (H,H1) do? I know that
% is saying if H = hi then
浏览 1提问于2020-03-23得票数 1
如果我有自己的转换器，并且在Java类中工作，我如何访问Spring配置属性？
在流XML中，我会输入类似${activemq_server}的内容，但在Java语言中，我不确定如何获取该值。
我正在挖掘MuleMessage和它附带的所有对象(上下文、配置等)，但我还没有找到它们。
在过去，我曾将它们注入到消息属性中，但这感觉太草率了。
浏览 4提问于2013-02-12得票数 2
回答已采纳
我正在用Java实现一个web应用程序，在其中的一部分中，我创建了一个SWI文件。我知道Prolog中的consult命令，但是这个命令需要一个绝对路径。但是，由于我使用MongoDB存储我的结果，所以我想将该文件存储在Mongo中，而不是在我的项目文件系统上创建目录以consult该文件。是否可以在根目录中没有实际的consult *.pl文件的情况下将该文件保存到Prolog？
浏览 0提问于2018-08-24得票数 0
回答已采纳
3回答
我想滚动到页面的最右边，当用户关闭一个模式(具体地说，就是在Foundation 4中的显示模式)时，这个页面非常宽(故意很宽)。
我曾尝试在div上设置一个完全对齐的id，但显然不起作用。
浏览 0提问于2013-05-09得票数 17
回答已采纳
我们正在考虑远离Perforce (主要是因为必须始终连接到它的服务器的痛苦，以及缺乏对在分支之间移动bug修复的支持，并且还希望引入一个代码审查工具)
然而，我们仍然需要Perforce中的所有历史，所以有没有一种方法可以在保留历史的同时移动到Kiln。
(公司中的其他人曾尝试从Perforce导入Mercurial，但找不到保存历史的好方法。据我所知，Kiln是一个托管服务，提供Mercurial和代码审查工具。)
浏览 2提问于2010-10-29得票数 2
回答已采纳
2回答
我需要能够从本地C调用DLL中的.NET 3.5托管代码。我没有提供.h或.lib文件。
我曾尝试制作一个C++动态链接库来公开一个与C兼容的接口，但是我似乎无法在我的项目中包含我需要使用的DLL。
有没有办法从原生C调用.NET托管代码？
浏览 0提问于2010-07-31得票数 2
回答已采纳
我想在Prolog中清空一个用过的变量。例如，我想这样做：
i = null;
而是用Prolog。
我该怎么做呢？
浏览 0提问于2011-12-07得票数 3
我有以下谓词execute(actualState, instruction, nextState):-，以便在执行指令时：move, swap，我有以下解决方案：
?- executed(regs(1,4,*,+,2), swap(1,2), NS).
solution:
NS = regs(4,1,*,+,2)?;
no
?- executed(regs(1,4,3,6,+), move(4), NS).
solution:
NS = regs(1,4,3,6,6)?;
no
我如何实现它呢？
我想要它做的是它有一个初始状态，一个指令和一个最终状态“执行(actualState，指令，
浏览 1提问于2020-05-06得票数 0
回答已采纳
1回答
在我的大学里，我曾尝试过引用和参考文献来撰写法律论文，但它似乎不是为法律引用而设计的。
例如，当我想在Mendeley中将一个案例文件添加为一个项目，并选择" Case“作为项目的类型时，它会请求”音量“而不是”案例编号“，这会导致引用被错误地格式化。
那么，哪个引文程序很好地适应了法律引用？我应该使用哪个程序(S)？
例如，我正在使用一种引用风格，如奥萨拉或蓝皮书。
浏览 0提问于2017-02-20得票数 2
2回答
我使用jpl来连接java和prolog。我正在尝试用java处理prolog列表。我的prolog代码在执行时会返回如下列表
L = [38, '(60)', '48^10', '36^6^58']
现在，我正在尝试使用以下代码在java中处理此输出
import jpl.Integer;
import jpl.Query;
import jpl.Variable;
import jpl.JPLException;
import jpl.Term;
import java.awt.List;
import java.lang.Number;
i
浏览 5提问于2011-10-21得票数 0
回答已采纳
2回答
在学习Prolog的时候，我试着写一个解决CNF问题的程序(性能不是问题)，所以我用下面的代码来解决(!x||y||!z)&&(x||!y||z)&&(x||y||z)&&(!x||!y||z)。
vx(t).
vx(f).
vy(t).
vy(f).
vz(t).
vz(f).
x(X) :- X=t; \+ X=f.
y(Y) :- Y=t; \+ Y=f.
z(Z) :- Z=t; \+ Z=f.
nx(X) :- X=f; \+ X=t.
ny(Y) :- Y=f; \+ Y=t.
nz(Z) :- Z=f; \+ Z=t.
cnf
浏览 4提问于2011-02-27得票数 4
回答已采纳
1回答
我可以使用购物产品类型作为尺寸谷歌分析仪表板在浏览器。
但是，我还无法找到维度维度& Metrics Explorer通过java进行分析，
根据这个支持文档：
谷歌曾提到：
本报告中的购物尺寸(购物类别、购物产品类型、购物品牌)在标准报表中或在自定义报表中都不能用作二级尺寸。
这是否意味着我不能通过使用这个"Shopping Product Type“作为维度？如果我能使用，那么实现这一目标的方法是什么。
浏览 0提问于2017-02-17得票数 2
在TurboPrologwe中可以使用next构造：
goal:
father('Tom', X).
如何在SWI-Prolog中使用same？
浏览 4提问于2014-02-11得票数 1
3回答
我想看看这是否有可能-
我的php页面调用prolog (并发送带有数据的查询)，然后prolog代码运行并绑定某些(输出)变量，然后将这些变量加载到mysql db中。
呃，
->调用和发送数据-> Prolog ->执行目标和绑定输出变量->将输出变量发送到mysql db
我看过很多关于如何使用sicstus和swi等生成html页面的文档。但这与我想要达到的目标背道而驰。有什么指示吗？
谢谢!
浏览 9提问于2012-10-18得票数 2
你好，我曾尝试在UITableViewCell中使用UICollectionView，但它不起作用，我必须通过动态添加多个视图在每个UITableViewCell中显示，但它是水平滚动的。请帮帮我，我是swift的初学者。
提前感谢
浏览 1提问于2015-12-16得票数 2
2回答
如何在swi prolog中重复该列表？
{例如:当Y是由X的每个元素组成的列表重复N次时(例如，repeat(a，b，a，b,3)为真)，则将(X，Y，N)重复为真。}
浏览 0提问于2018-12-04得票数 0
go :- match(Mn,Fn),
write('--Matching Result--'),
nl,
write(Mn),
write(' match with '),
write(Fn),
match(Mn1,Fn1).
person(may,female,25,blue).
person(rose,female,20,blue).
person(hock,male,30,blue).
person(ali,male,24,blue).
match(M
浏览 5提问于2011-09-08得票数 6
1回答
我有一个经过一段时间开发的存储库。它包括一系列文件，我希望通过Pull-request获得同行评审。这个库中的每个文件都有一个拉取请求，这正是我所需要的。
在过去，我曾对新的代码片段或对现有代码的建议更改和修改发起代码审查。然而，我从来没有遇到过这样的情况，我想让存储库中已经存在的所有文件都得到审查。
我尝试过的一种方法是从master分支中删除文件，当我尝试从另一个分支(forked/cloned from the forked/master)再次推送它们时，发出一个pull-request。但是，我不确定这是否是最好的方法。
对现有代码进行代码审查的最佳方式是什么？
浏览 2提问于2019-04-12得票数 2
我在prolog中有一个列表，其中包含几个项目。我需要‘规范化’这个列表的内容，并将结果写入一个新的列表。但我在做这件事上仍然有问题。下面的代码显示了我是如何做到这一点的：
normalizeLists(SourceList, DestList) :-
% get all the member of the source list, one by one
member(Item, SourceList),
% normalize the item
normalizeItem(Item, NormItem),
% add the normalize Item to the De
浏览 5提问于2012-12-15得票数 0
回答已采纳
7回答
嗨，我正在数据库中寻找一个名字组合。我将按如下方式传递组合
"firstName='" + firstName + "'", "middleName='" + middleName + "'", "lastName='" + lastName + "'"
这可以很好地工作。但问题来了，在名称中有一些‘’，我如何纠正它？例如:约翰斯或曾傑瑞的etc引起例外
浏览 0提问于2012-06-13得票数 4
如何在prolog中将格式和打印结合起来？
基本上，我假装在prolog中打印了一条类似于“元素5发生3次”的消息。数字5和3取决于执行。
在Python中，它将类似于：
print("Element %d occurs %d times" % (element, occurrences))
例如，在一个小例子中，如：
count_occur(X, [], N) :- write("Element ??X occurs ??N times.").
浏览 1提问于2017-05-20得票数 2
回答已采纳
我想写一个prolog，它基本上可以做到这一点
atom_concat('3',' =',Answer).
Answer = '3 ='.
但我不想使用atom_concat函数(或任何内置谓词)。我也希望答案中没有引号。
我曾尝试实现一个与append方法操作相同的方法，我将其称为merge。
merge([],Xs,Xs).
merge([X|Xs],Ys,[X|Zs]):-
merge(Xs,Ys,Zs).
但是，当我将此代码写入我的db.pl文件时，我在运行它时得到了false。
?- [db].
true.
?- merge(
浏览 4提问于2018-01-23得票数 1
回答已采纳
我可以使用提供给我的连接字符串(不是我创建的队列)访问Azure存储队列。消息每分钟发送一次。我要获取所有邮件并将其放入Azure Blob存储中。
我的问题是，我没有成功地从附加存储队列中获取邮件。进行这种数据存储的“最简单”方法是什么？
我曾尝试使用Logic Apps访问外部队列，然后尝试将其放入我自己的队列中，然后再将其移动到Blob Storage中，但没有成功。
浏览 36提问于2020-05-28得票数 1
我正在读一段关于两个列表连接的prolog代码。它工作得很好，但我不能理解它是如何工作的：
concatenation([ ], Lista, Lista).
concatenation([ Elem | Lista1], Lista2, [Elem | Lista3]):-
concatenation(Lista1, Lista2, Lista3).
?-concatenation([one, two], [three, four],L).
**Result : [one,two,three,four]**
首先，我不
浏览 14提问于2015-05-25得票数 0
2回答
我正在用Prolog进行我的第一步，但我遇到了一个问题。
我正在尝试从一个用逗号分隔的文件中读取记录
upto_comma(Codes) --> string(Codes), ",", !.
list_w([W|Ws]) --> upto_comma(W), [W] ,list_w(Ws).
string([]) --> [].
string([H|T]) -->[H],string(T).
但是我得到的只是一个包含单个字符的列表，而我想要的是一个元素列表。例如，来自
cat,dog,table
我要[cat,dog,table]，我要[c,a,t,d
浏览 1提问于2012-12-16得票数 3
回答已采纳
我很难确定两个点X和Y之间是否存在边。我的图看起来像这样：
edge(a, c, 2).
edge(b, e, 2).
edge(d, e, 1).
edge(c, d, 2).
edge(a, b, 2).
edge(a, d, 3).
edge(b, a, 1).
edge(a, a, 2).
在许多其他场景中，我做了以下尝试
connected(X,Y):-
edge(X,Y,_).
connected(X,Y):-
edge(X,Z,_),
connected(Z,Y).
...however所有东西都返回true，即使我放入了明显错误的数据，而这些数据应该返回fal
浏览 0提问于2016-12-05得票数 2
我正在使用Core2构建一个Web API，我的方法命名如下： public ActionResult<xxx> Get()
public void Post(...)
// etc 我似乎无法使asp.net路由到它们，除非我指定了我不想要的动词- [HttpGet], [HttpPost]，等等 我曾尝试在Startup类的顶部添加[assembly: ApiConventionType(typeof(DefaultApiConventions))]，但似乎没有起到作用。 这在ASP.NET Web API中工作得很好。
浏览 22提问于2019-03-23得票数 0
因此，我试图在portratit模式下打开NavigationDrawer，但由于某些原因，我不得不在横向模式下锁定我的活动。 我曾尝试将重力设置为左或右，但他们都打开NavigationDrawer，因为它应该在LandScape模式下打开，但我希望它在肖像模式下打开。
浏览 15提问于2019-05-16得票数 0
2回答
我希望能够呈现灵活的线条或绳索，如下所示：
📷
我曾考虑过使用Line Renderer，但它没有渲染任意曲线的灵活性。
浏览 0提问于2016-02-26得票数 0
我必须完成一个问题，在这个问题中，一个任务是获取一个数组的连续对。
例如，如果数组为1、2、3，则结果应该是X=1 Y=2和X=2 Y=3。
在此之前，我的代码运行良好，但在此之后，它不会输出“no”。相反，它停留在一个无限循环中。最困难的是，--我必须在没有递归的情况下这样做。
到目前为止，我的代码如下：
part_of(X, Y, List):-
length(X, 1),
append(_, X, Part),
length(Y, 1),
append(Part, Y, Part2),
append(Part2, _, List).
我不熟悉逻辑编
浏览 1提问于2020-04-25得票数 0
回答已采纳
我使用经典的basecamp api，并且我想在注释体中添加新的一行。我曾尝试使用Envirovent.NewLine和CDATA，但basecamp将其从结果文本中删除。有人知道怎么做吗？有可能吗？
浏览 5提问于2015-05-13得票数 1
我已经创建了一个xsd模式，我想通过一个url来托管它。
<BuildInfo xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="http://data.ops.spreadex.com/schemas/BuildInfo.xsd">
这似乎工作得很好，但是当我更新文件hosted @时，visual studio中的智能感知并没有更新。
我曾尝试重新启动visual studio，但缓存似乎在vs.的整个生命周期中一直存在。有人知
浏览 16提问于2018-01-04得票数 0
我要写一个例程，列出到目前为止我所写的所有后代。
descend(X,Y) :- child(X,Y).
descend(X,Y) :- child(X,Z), descend(Z,Y).
它工作得很好，所以我需要找到的任何后代，我只是做下降(X，名称)。它一直以X= descend1，X= descend2的形式给我名字的后代，但是为了得到我不得不按的结果，每次我要写的是一个例行公事的后代，它给出所有下降的列表而不按；
descendb(X) :- descend(A,X), write(A).
这显然是错误的。
浏览 4提问于2013-11-06得票数 1
回答已采纳
这是一个获得列表排列的谓词。有人能给我解释一下如何追踪这个谓词吗？我在用SWI。
perm([H|T],L) :- perm(T,P) , insert(H,P,L).
perm([],[]).
insert(X,L,[X|L]).
insert(X,[H|T],[H|T1]) :- insert(X,T,T1).
浏览 0提问于2014-03-28得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
