blocks|key|953185|text|主体转换(7.6.2将术语转换为子句的正文)--+la+ISO核心标准--要求直接在子句主体内的控制结构中的变量由call/1包装。|type|unstyled|depth|inlineStyleRanges|offset|length|style|CODE|entityRanges|data|953186|下面是一个示例：|953187|?-+[user].
and(X,Y)+:-+X,Y.
%5ED
?-+listing.
and(X,Y)+:-+call(X),+call(Y).|code-block|syntax|javascript|953188|其结果是调用!没有任何效果，因为裁剪限制在call/1中。|953189|在这里可以看到：|953190|?-+[user].
p(a).
p(b).
?-+p(X),+!.
X+=+a
?-+and(p(X),!).
X+=+a+;
X+=+b|953191|编辑31.12.2019:|BOLD|953192|Prolog系统可能希望将(*->)/2+(软剪切)添加到那些参数被转换的控件结构中，从而修改7.6.2。|953193|来自ISO/IEC+13211-1:+1995年Prolog|953194|7.6.2将术语转换为子句的正文
术语T可以转换为目标G，目标G是子句的主体：
a)
如果T是一个变量，那么G就是控件构造调用(7.8.3)，其参数是T。
b)
如果T是一个主要函子出现在表9中的术语，那么G就是相应的控制结构。如果T的主函子是call/1、catch/3或throw/1，那么T和G的参数是相同的，否则，如果T的主函子是(',')/2或(;)/2或(->)/2，则T的每个参数也将转换为一个目标。
c)
如果T是一个原子或复合项，其主函子FT未出现在表9中，则G是谓词指示符为PT的谓词，而T和G的参数(如果有的话)是相同的。|blockquote|953195|和|953196|7.8.3调用/1
call(G)是真当且仅当G代表的是一个真实的目标。
当G包含!作为子目标时，!的效果不应扩展到G之外。|953197|953198|第37页表9:主要函子和控制构造|953199|(',')/2目标参数转换|unordered-list-item|953200|(;)/2目标参数转换|953201|(->)/2目标参数转换|953202|!/0|953203|call/1目标参数未转换|953204|true/0|953205|fail/0|953206|catch/3目标参数未转换|953207|throw/1|953208|entityMap^0|1L|6|0|0|0|6|1|L|6|0|0|0|0|D|0|0|0|0|D|J|1|R|1|V|1|19|1|1I|1|23|1|2B|1|2V|1|38|1|3E|6|3L|7|3T|7|43|1|45|1|4J|1|4P|7|4X|5|53|6|5B|1|5X|1|6C|2|6N|1|6V|2|72|1|74|1|0|0|0|9|A|7|N|1|12|1|15|1|1D|1|1M|1|0|0|0|G|0|0|7|0|0|5|0|0|6|0|0|3|0|0|6|0|0|6|0|0|6|0|0|7|0|0|7|0^^$0|@$1|2|3|4|5|6|7|1U|8|@$9|1V|A|1W|B|C]]|D|@]|E|$]]|$1|F|3|G|5|6|7|1X|8|@]|D|@]|E|$]]|$1|H|3|I|5|J|7|1Y|8|@]|D|@]|E|$K|L]]|$1|M|3|N|5|6|7|1Z|8|@$9|20|A|21|B|C]|$9|22|A|23|B|C]]|D|@]|E|$]]|$1|O|3|P|5|6|7|24|8|@]|D|@]|E|$]]|$1|Q|3|R|5|J|7|25|8|@]|D|@]|E|$K|L]]|$1|S|3|T|5|6|7|26|8|@$9|27|A|28|B|U]]|D|@]|E|$]]|$1|V|3|W|5|6|7|29|8|@]|D|@]|E|$]]|$1|X|3|Y|5|6|7|2A|8|@]|D|@]|E|$]]|$1|Z|3|10|5|11|7|2B|8|@$9|2C|A|2D|B|U]|$9|2E|A|2F|B|C]|$9|2G|A|2H|B|C]|$9|2I|A|2J|B|C]|$9|2K|A|2L|B|C]|$9|2M|A|2N|B|C]|$9|2O|A|2P|B|C]|$9|2Q|A|2R|B|C]|$9|2S|A|2T|B|C]|$9|2U|A|2V|B|C]|$9|2W|A|2X|B|C]|$9|2Y|A|2Z|B|C]|$9|30|A|31|B|C]|$9|32|A|33|B|C]|$9|34|A|35|B|C]|$9|36|A|37|B|C]|$9|38|A|39|B|C]|$9|3A|A|3B|B|C]|$9|3C|A|3D|B|C]|$9|3E|A|3F|B|C]|$9|3G|A|3H|B|C]|$9|3I|A|3J|B|C]|$9|3K|A|3L|B|C]|$9|3M|A|3N|B|C]|$9|3O|A|3P|B|C]|$9|3Q|A|3R|B|C]]|D|@]|E|$]]|$1|12|3|13|5|6|7|3S|8|@]|D|@]|E|$]]|$1|14|3|15|5|11|7|3T|8|@$9|3U|A|3V|B|U]|$9|3W|A|3X|B|C]|$9|3Y|A|3Z|B|C]|$9|40|A|41|B|C]|$9|42|A|43|B|C]|$9|44|A|45|B|C]|$9|46|A|47|B|C]]|D|@]|E|$]]|$1|16|3|13|5|6|7|48|8|@]|D|@]|E|$]]|$1|17|3|18|5|6|7|49|8|@$9|4A|A|4B|B|U]]|D|@]|E|$]]|$1|19|3|1A|5|1B|7|4C|8|@$9|4D|A|4E|B|C]]|D|@]|E|$]]|$1|1C|3|1D|5|1B|7|4F|8|@$9|4G|A|4H|B|C]]|D|@]|E|$]]|$1|1E|3|1F|5|1B|7|4I|8|@$9|4J|A|4K|B|C]]|D|@]|E|$]]|$1|1G|3|1H|5|1B|7|4L|8|@$9|4M|A|4N|B|C]]|D|@]|E|$]]|$1|1I|3|1J|5|1B|7|4O|8|@$9|4P|A|4Q|B|C]]|D|@]|E|$]]|$1|1K|3|1L|5|1B|7|4R|8|@$9|4S|A|4T|B|C]]|D|@]|E|$]]|$1|1M|3|1N|5|1B|7|4U|8|@$9|4V|A|4W|B|C]]|D|@]|E|$]]|$1|1O|3|1P|5|1B|7|4X|8|@$9|4Y|A|4Z|B|C]]|D|@]|E|$]]|$1|1Q|3|1R|5|1B|7|50|8|@$9|51|A|52|B|C]]|D|@]|E|$]]|$1|1S|3|-4|5|6|7|53|8|@]|D|@]|E|$]]]|1T|$]]

Body conversion (7.6.2 Converting a term to the body of a clause) à la ISO core standard requires that variables directly inside control constructs inside a body of a clause are wrapped by <code>call/1</code>. 

Here is an example:

<pre><code>?- [user].
and(X,Y) :- X,Y.
^D
?- listing.
and(X,Y) :- call(X), call(Y).
</code></pre>

The effect is that calling a <code>!</code> has no effect, since the cut is confined inside <code>call/1</code>. 

This is seen here:

<pre><code>?- [user].
p(a).
p(b).
?- p(X), !.
X = a
?- and(p(X),!).
X = a ;
X = b
</code></pre>

Edit 31.12.2019: 
A Prolog system might want to add (*->)/2 (soft cut) to those control constructs whose arguments are converted thus amending 7.6.2.

<hr/>

<h1>From ISO/IEC 13211-1: 1995 Prolog</h1>

<blockquote>
 7.6.2 Converting a term to the body of a clause
 
 A term <code>T</code> can be converted to a goal <code>G</code> which is the body of a
 clause:
 
 a) 
 
 If <code>T</code> is a variable then <code>G</code> is the control construct call (7.8.3), whose argument is <code>T</code>.
 
 b) 
 
 If <code>T</code> is a term whose principal functor appears in table 9 then
 <code>G</code> is the corresponding control construct. If the principal functor of <code>T</code> is <code>call/1</code> or <code>catch/3</code> or <code>throw/1</code> then the arguments of <code>T</code> and <code>G</code> are identical, else if the principal functor of <code>T</code> is <code>(',')/2</code> or <code>(;)/2</code> or <code>(-&gt;)/2</code> then each argument of <code>T</code> shall also be converted to a goal.
 
 c)
 
 If <code>T</code> is an atom or compound term whose principal functor <code>FT</code>
 does not appear in table 9 then <code>G</code> is a predication whose predicate
 indicator is <code>PT</code>, and the arguments, if any, of <code>T</code> and <code>G</code> are
 identical.
</blockquote>

And

<blockquote>
 7.8.3 call/1
 
 <code>call(G)</code> is true iff <code>G</code> represents a goal which is true. 
 
 When <code>G</code> contains <code>!</code> as a subgoal, the effect of <code>!</code> shall not extend
 outside <code>G</code>.
</blockquote>

And 

Table 9 on page 37: Principal functors and control constructs

<ul>
<li><code>(',')/2</code> goal arguments converted</li>
<li><code>(;)/2</code> goal arguments converted</li>
<li><code>(-&gt;)/2</code> goal arguments converted</li>
<li><code>!/0</code></li>
<li><code>call/1</code> goal arguments not converted</li>
<li><code>true/0</code></li>
<li><code>fail/0</code></li>
<li><code>catch/3</code> goal arguments not converted</li>
<li><code>throw/1</code></li>
</ul>

The description of <a href="https://eu.swi-prolog.org/pldoc/doc_for?object=call/1" rel="nofollow noreferrer">call/1</a> says:

<blockquote>
 <code>call(:Goal)</code>
 
 Invoke Goal as a goal. Note that clauses may have variables as
 subclauses, which is identical to <code>call/1</code>.
</blockquote>

I don't understand "clauses may have variables as subclauses". 

Can anyone give an example?

SWI Prolog description of call/1: "clauses may have variables as subclauses"?

翻译质量差，导致语言生硬或混乱。

没有提供实际的解决方法或示例。

解答不清晰，无法理解或解决问题。

页面排版不美观，阅读体验差。

文章

问答

视频

教程

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云智能顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

EdgeOne AI 安全实战专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

聚焦“写作效率、视觉美观与运行性能”三方面进行全面升级，为您提供更高效、稳定的创作环境

社区富文本&Markdown编辑器全新改版上线，欢迎大家体验!

诚挚邀请您参与本次调研，分享您的真实使用感受与建议。您的反馈至关重要，感谢您的支持与参与！

社区新版编辑器体验调研

对的描述是：call(:Goal)将目标作为目标调用。请注意，子句可能有变量作为子子句，这与call/1相同。我不明白“从句可能有变量作为子从句”。有人能举个例子吗？

问SWI Prolog对call/1的描述：“子句可能有变量作为子子句”？
EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问SWI Prolog对call/1的描述：“子句可能有变量作为子子句”？EN