2019-03-17 14:40:57 +02:00
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
< html >
< head >
2020-04-14 19:56:54 +03:00
< title > Backdrops< / title >
2020-05-03 03:20:55 +03:00
< link href = "../docs-assets/Breadcrumbs.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
2020-03-19 02:11:25 +02:00
< meta name = "viewport" content = "width=device-width initial-scale=1" >
2019-03-17 14:40:57 +02:00
< meta http-equiv = "Content-Type" content = "text/html; charset=utf-8" >
< meta http-equiv = "Content-Language" content = "en-gb" >
2020-05-03 03:01:21 +03:00
2020-05-03 03:20:55 +03:00
< link href = "../docs-assets/Contents.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Progress.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Navigation.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Fonts.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Base.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
2020-05-03 03:01:21 +03:00
< script >
function togglePopup(material_id) {
var popup = document.getElementById(material_id);
popup.classList.toggle("show");
}
< / script >
2020-05-03 03:20:55 +03:00
< link href = "../docs-assets/Popups.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
< link href = "../docs-assets/Colours.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
2020-05-09 15:07:39 +03:00
< link href = "../docs-assets/Preform-Colours.css" rel = "stylesheet" rev = "stylesheet" type = "text/css" >
2020-04-14 19:56:54 +03:00
2019-03-17 14:40:57 +02:00
< / head >
2020-05-03 03:01:21 +03:00
< body class = "commentary-font" >
2020-03-19 02:11:25 +02:00
< nav role = "navigation" >
2020-04-14 19:56:54 +03:00
< h1 > < a href = "../index.html" >
2020-05-03 18:34:53 +03:00
< img src = "../docs-assets/Inform.png" height = 72" >
2020-04-14 19:56:54 +03:00
< / a > < / h1 >
< ul > < li > < a href = "../compiler.html" > compiler tools< / a > < / li >
2020-03-19 02:11:25 +02:00
< li > < a href = "../other.html" > other tools< / a > < / li >
< li > < a href = "../extensions.html" > extensions and kits< / a > < / li >
< li > < a href = "../units.html" > unit test tools< / a > < / li >
2020-04-14 19:56:54 +03:00
< / ul > < h2 > Compiler Webs< / h2 > < ul >
2020-03-19 02:11:25 +02:00
< li > < a href = "../inbuild/index.html" > inbuild< / a > < / li >
< li > < a href = "../inform7/index.html" > inform7< / a > < / li >
< li > < a href = "../inter/index.html" > inter< / a > < / li >
2020-04-14 19:56:54 +03:00
< / ul > < h2 > Inbuild Modules< / h2 > < ul >
< li > < a href = "../supervisor-module/index.html" > supervisor< / a > < / li >
< / ul > < h2 > Inform7 Modules< / h2 > < ul >
2020-03-19 02:11:25 +02:00
< li > < a href = "../core-module/index.html" > core< / a > < / li >
2020-08-26 12:52:50 +03:00
< li > < a href = "../assertions-module/index.html" > assertions< / a > < / li >
< li > < a href = "../values-module/index.html" > values< / a > < / li >
< li > < a href = "../knowledge-module/index.html" > knowledge< / a > < / li >
< li > < a href = "../imperative-module/index.html" > imperative< / a > < / li >
< li > < a href = "../runtime-module/index.html" > runtime< / a > < / li >
2020-04-14 19:56:54 +03:00
< li > < a href = "index.html" > < span class = "selectedlink" > if< / span > < / a > < / li >
2020-03-19 02:11:25 +02:00
< li > < a href = "../multimedia-module/index.html" > multimedia< / a > < / li >
< li > < a href = "../index-module/index.html" > index< / a > < / li >
2020-04-14 19:56:54 +03:00
< / ul > < h2 > Inter Modules< / h2 > < ul >
< li > < a href = "../bytecode-module/index.html" > bytecode< / a > < / li >
2020-03-19 02:11:25 +02:00
< li > < a href = "../building-module/index.html" > building< / a > < / li >
< li > < a href = "../codegen-module/index.html" > codegen< / a > < / li >
2020-05-20 02:02:28 +03:00
< / ul > < h2 > Services< / h2 > < ul >
2020-04-14 19:56:54 +03:00
< li > < a href = "../arch-module/index.html" > arch< / a > < / li >
2020-08-20 13:50:43 +03:00
< li > < a href = "../calculus-module/index.html" > calculus< / a > < / li >
2020-04-14 19:56:54 +03:00
< li > < a href = "../html-module/index.html" > html< / a > < / li >
2020-05-20 02:02:28 +03:00
< li > < a href = "../inflections-module/index.html" > inflections< / a > < / li >
2020-08-20 13:50:43 +03:00
< li > < a href = "../kinds-module/index.html" > kinds< / a > < / li >
2020-05-20 02:02:28 +03:00
< li > < a href = "../linguistics-module/index.html" > linguistics< / a > < / li >
< li > < a href = "../problems-module/index.html" > problems< / a > < / li >
2020-08-20 13:50:43 +03:00
< li > < a href = "../syntax-module/index.html" > syntax< / a > < / li >
< li > < a href = "../words-module/index.html" > words< / a > < / li >
2020-03-19 02:11:25 +02:00
< li > < a href = "../../../inweb/docs/foundation-module/index.html" > foundation< / a > < / li >
2020-04-14 19:56:54 +03:00
< / ul >
2020-03-19 02:11:25 +02:00
< / nav >
< main role = "main" >
2020-05-03 03:01:21 +03:00
<!-- Weave of 'Backdrops' generated by Inweb -->
< div class = "breadcrumbs" >
< ul class = "crumbs" > < li > < a href = "../index.html" > Home< / a > < / li > < li > < a href = "../compiler.html" > Inform7 Modules< / a > < / li > < li > < a href = "index.html" > if< / a > < / li > < li > < a href = "index.html#3" > Chapter 3: Space and Time< / a > < / li > < li > < b > Backdrops< / b > < / li > < / ul > < / div >
< p class = "purpose" > A plugin to provide support for backdrop objects, which are present as scenery in multiple rooms at once.< / p >
2019-03-17 14:40:57 +02:00
2020-08-09 20:39:31 +03:00
< ul class = "toc" > < li > < a href = "3-bck.html#SP3" > § 3. Initialisation< / a > < / li > < li > < a href = "3-bck.html#SP4" > § 4. Kinds< / a > < / li > < li > < a href = "3-bck.html#SP7" > § 7. Properties< / a > < / li > < li > < a href = "3-bck.html#SP10" > § 10. Inferences< / a > < / li > < li > < a href = "3-bck.html#SP14" > § 14. Everywhere< / a > < / li > < li > < a href = "3-bck.html#SP17" > § 17. Model completion< / a > < / li > < / ul > < hr class = "tocbar" >
2019-03-17 14:40:57 +02:00
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP1" class = "paragraph-anchor" > < / a > < b > § 1. < / b > While we normally assume that nothing can be in more than one place at
2019-03-17 14:40:57 +02:00
once, backdrops are an exception. These are intended to represent widely
spread, probably background, things, such as the sky, and they placing one
2020-05-03 03:01:21 +03:00
inside something generates < span class = "extract" > < span class = "extract-syntax" > FOUND_IN_INF< / span > < / span > rather than < span class = "extract" > < span class = "extract-syntax" > PARENTAGE_INF< / span > < / span >
2019-03-17 14:40:57 +02:00
inferences to avoid piling up bogus inconsistencies.
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "definitions code-font" > < span class = "definition-keyword" > define< / span > < span class = "constant-syntax" > FOUND_IN_INF< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 56< / span > < span class = "plain-syntax" > < / span > < span class = "comment-syntax" > for backdrop things in many places< / span >
< span class = "definition-keyword" > define< / span > < span class = "constant-syntax" > FOUND_EVERYWHERE_INF< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 57< / span > < span class = "plain-syntax" > < / span > < span class = "comment-syntax" > ditto< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > K_backdrop< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
< span class = "identifier-syntax" > property< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > P_scenery< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > an I7 either/or property marking something as scenery< / span >
< span class = "identifier-syntax" > property< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > P_absent< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ; < / span > < span class = "comment-syntax" > an I6-only property for backdrops out of play< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP2" class = "paragraph-anchor" > < / a > < b > § 2. < / b > < / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "reserved-syntax" > typedef< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > backdrop_found_in_notice< / span > < span class = "plain-syntax" > {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > instance< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > backdrop< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > struct< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inter_name< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > found_in_routine_iname< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > many_places< / span > < span class = "plain-syntax" > ;< / span >
2020-05-09 15:07:39 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > CLASS_DEFINITION< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > backdrop_found_in_notice< / span > < span class = "plain-syntax" > ;< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-05-03 03:01:21 +03:00
< ul class = "endnotetexts" > < li > The structure backdrop_found_in_notice is private to this section.< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP3" class = "paragraph-anchor" > < / a > < b > § 3. Initialisation. < / b > < / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > PL::Backdrops::start< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PLUGIN_REGISTER< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PLUGIN_NEW_BASE_KIND_NOTIFY< / span > < span class = "plain-syntax" > , < / span > < a href = "3-bck.html#SP5" class = "function-link" > < span class = "function-syntax" > PL::Backdrops::backdrops_new_base_kind_notify< / span > < / a > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PLUGIN_REGISTER< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PLUGIN_NEW_PROPERTY_NOTIFY< / span > < span class = "plain-syntax" > , < / span > < a href = "3-bck.html#SP8" class = "function-link" > < span class = "function-syntax" > PL::Backdrops::backdrops_new_property_notify< / span > < / a > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PLUGIN_REGISTER< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PLUGIN_COMPLETE_MODEL< / span > < span class = "plain-syntax" > , < / span > < a href = "3-bck.html#SP17" class = "function-link" > < span class = "function-syntax" > PL::Backdrops::backdrops_complete_model< / span > < / a > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PLUGIN_REGISTER< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PLUGIN_LOG_INFERENCE_TYPE< / span > < span class = "plain-syntax" > , < / span > < a href = "3-bck.html#SP10" class = "function-link" > < span class = "function-syntax" > PL::Backdrops::backdrops_log_inference_type< / span > < / a > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PLUGIN_REGISTER< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PLUGIN_ESTIMATE_PROPERTY_USAGE< / span > < span class = "plain-syntax" > , < / span > < a href = "3-bck.html#SP9" class = "function-link" > < span class = "function-syntax" > PL::Backdrops::backdrops_estimate_property_usage< / span > < / a > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > PLUGIN_REGISTER< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PLUGIN_INTERVENE_IN_ASSERTION< / span > < span class = "plain-syntax" > , < / span > < a href = "3-bck.html#SP15" class = "function-link" > < span class = "function-syntax" > PL::Backdrops::backdrops_intervene_in_assertion< / span > < / a > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP4" class = "paragraph-anchor" > < / a > < b > § 4. Kinds. < / b > This a kind name to do with backdrops which Inform provides special support
2019-03-17 14:40:57 +02:00
for; it recognises the English name when defined by the Standard Rules. (So
there is no need to translate this to other languages.)
< / p >
2020-05-09 15:07:39 +03:00
< pre class = "Preform-displayed-code all-displayed-code code-font" >
< span class = "Preform-function-syntax" > < notable-backdrops-kinds> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ::=< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > backdrop< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-05-20 02:02:28 +03:00
< ul class = "endnotetexts" > < li > This is < a href = "../words-module/4-ap.html" class = "internal" > Preform grammar< / a > , not regular C code.< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP5" class = "paragraph-anchor" > < / a > < b > § 5. < / b > < / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-09 20:39:31 +03:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > PL::Backdrops::backdrops_new_base_kind_notify< / span > < button class = "popup" onclick = "togglePopup('usagePopup1')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup1" > Usage of < span class = "code-font" > < span class = "function-syntax" > PL::Backdrops::backdrops_new_base_kind_notify< / span > < / span > :< br / > < a href = "3-bck.html#SP3" > § 3< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > new_base< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > text_stream< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > name< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > wording< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-09 15:07:39 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "function-syntax" > < notable-backdrops-kinds> < / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > W< / span > < span class = "plain-syntax" > )) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > K_backdrop< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > new_base< / span > < span class = "plain-syntax" > ; < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP6" class = "paragraph-anchor" > < / a > < b > § 6. < / b > < / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-09 20:39:31 +03:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > PL::Backdrops::object_is_a_backdrop< / span > < button class = "popup" onclick = "togglePopup('usagePopup2')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup2" > Usage of < span class = "code-font" > < span class = "function-syntax" > PL::Backdrops::object_is_a_backdrop< / span > < / span > :< br / > < a href = "3-bck.html#SP12" > § 12< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > instance< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > Plugins::Manage::plugged_in< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > regions_plugin< / span > < span class = "plain-syntax" > )) & & (< / span > < span class = "identifier-syntax" > K_backdrop< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ) & & < / span >
< span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Instances::of_kind< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_backdrop< / span > < span class = "plain-syntax" > ))) < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP7" class = "paragraph-anchor" > < / a > < b > § 7. Properties. < / b > This is a property name to do with backdrops which Inform provides special
2019-03-17 14:40:57 +02:00
support for; it recognises the English name when it is defined by the
Standard Rules. (So there is no need to translate this to other languages.)
< / p >
2020-05-09 15:07:39 +03:00
< pre class = "Preform-displayed-code all-displayed-code code-font" >
< span class = "Preform-function-syntax" > < notable-backdrops-properties> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ::=< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > scenery< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-05-20 02:02:28 +03:00
< ul class = "endnotetexts" > < li > This is < a href = "../words-module/4-ap.html" class = "internal" > Preform grammar< / a > , not regular C code.< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP8" class = "paragraph-anchor" > < / a > < b > § 8. < / b > < / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-09 20:39:31 +03:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > PL::Backdrops::backdrops_new_property_notify< / span > < button class = "popup" onclick = "togglePopup('usagePopup3')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup3" > Usage of < span class = "code-font" > < span class = "function-syntax" > PL::Backdrops::backdrops_new_property_notify< / span > < / span > :< br / > < a href = "3-bck.html#SP3" > § 3< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > property< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > prn< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-09 15:07:39 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "function-syntax" > < notable-backdrops-properties> (prn-> < / span > < span class = "element-syntax" > name< / span > < span class = "plain-syntax" > ))< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > P_scenery< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > prn< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2020-08-09 20:39:31 +03:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > PL::Backdrops::object_is_scenery< / span > < button class = "popup" onclick = "togglePopup('usagePopup4')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup4" > Usage of < span class = "code-font" > < span class = "function-syntax" > PL::Backdrops::object_is_scenery< / span > < / span > :< br / > Spatial Model - < a href = "3-sm.html#SP19" > § 19< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > instance< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > World::Inferences::get_EO_state< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Instances::as_subject< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ), < / span > < span class = "identifier-syntax" > P_scenery< / span > < span class = "plain-syntax" > ) > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP9" class = "paragraph-anchor" > < / a > < b > § 9. < / b > Every backdrop needs a single-word property (< span class = "extract" > < span class = "extract-syntax" > found_in< / span > < / span > at the I6 level):
2019-03-17 14:40:57 +02:00
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-09 20:39:31 +03:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > PL::Backdrops::backdrops_estimate_property_usage< / span > < button class = "popup" onclick = "togglePopup('usagePopup5')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup5" > Usage of < span class = "code-font" > < span class = "function-syntax" > PL::Backdrops::backdrops_estimate_property_usage< / span > < / span > :< br / > < a href = "3-bck.html#SP3" > § 3< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > kind< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > k< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > words_used< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-12 01:59:29 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Kinds::eq< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > k< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_backdrop< / span > < span class = "plain-syntax" > )) *< / span > < span class = "identifier-syntax" > words_used< / span > < span class = "plain-syntax" > += < / span > < span class = "constant-syntax" > 2< / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP10" class = "paragraph-anchor" > < / a > < b > § 10. Inferences. < / b > < / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-09 20:39:31 +03:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > PL::Backdrops::backdrops_log_inference_type< / span > < button class = "popup" onclick = "togglePopup('usagePopup6')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup6" > Usage of < span class = "code-font" > < span class = "function-syntax" > PL::Backdrops::backdrops_log_inference_type< / span > < / span > :< br / > < a href = "3-bck.html#SP3" > § 3< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > switch< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > it< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > case< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FOUND_IN_INF:< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "FOUND_IN_INF"< / span > < span class = "plain-syntax" > ); < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > case< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FOUND_EVERYWHERE_INF:< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "FOUND_EVERYWHERE_INF"< / span > < span class = "plain-syntax" > ); < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP11" class = "paragraph-anchor" > < / a > < b > § 11. < / b > Here we look at "in" and "part of" relationships to see if they concern
2020-05-03 03:01:21 +03:00
backdrops; if they do, then they need to become < span class = "extract" > < span class = "extract-syntax" > FOUND_IN_INF< / span > < / span > inferences.
2019-03-17 14:40:57 +02:00
Without this intervention, they'd be subject to the usual spatial rules
and text like
< / p >
< blockquote >
< p > The sky is in the Grand Balcony. The sky is in the Vizier's Lawn.< / p >
< / blockquote >
2020-05-03 03:01:21 +03:00
< p class = "commentary" > would lead to contradiction problem messages.
2019-03-17 14:40:57 +02:00
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-20 13:50:43 +03:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > PL::Backdrops::assert_relations< / span > < button class = "popup" onclick = "togglePopup('usagePopup7')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup7" > Usage of < span class = "code-font" > < span class = "function-syntax" > PL::Backdrops::assert_relations< / span > < / span > :< br / > Spatial Relations - < a href = "3-sr.html#SP4_1" > § 4.1< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > binary_predicate< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > relation< / span > < span class = "plain-syntax" > ,< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > instance< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I0< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > instance< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I1< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > Instances::of_kind< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I1< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_backdrop< / span > < span class = "plain-syntax" > )) & & < / span >
< span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > relation< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > R_incorporation< / span > < span class = "plain-syntax" > ) ||< / span >
< span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > relation< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > R_containment< / span > < span class = "plain-syntax" > ) ||< / span >
< span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > relation< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > R_regional_containment< / span > < span class = "plain-syntax" > ))) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inference_subject< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > bd< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Instances::as_subject< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I1< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inference_subject< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > loc< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Instances::as_subject< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I0< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > World::Inferences::draw< / span > < span class = "plain-syntax" > (< / span > < span class = "constant-syntax" > PART_OF_INF< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > bd< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > IMPOSSIBLE_CE< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > loc< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > World::Inferences::draw< / span > < span class = "plain-syntax" > (< / span > < span class = "constant-syntax" > IS_ROOM_INF< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > bd< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > IMPOSSIBLE_CE< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > World::Inferences::draw< / span > < span class = "plain-syntax" > (< / span > < span class = "constant-syntax" > FOUND_IN_INF< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > bd< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > CERTAIN_CE< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > loc< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > loc< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP12" class = "paragraph-anchor" > < / a > < b > § 12. < / b > For indexing purposes, the following loops are useful:
2019-03-17 14:40:57 +02:00
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "definitions code-font" > < span class = "definition-keyword" > define< / span > < span class = "identifier-syntax" > LOOP_OVER_BACKDROPS_IN< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > B< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > P< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER_OBJECT_INSTANCES< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > B< / span > < span class = "plain-syntax" > )< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "3-bck.html#SP6" class = "function-link" > < span class = "function-syntax" > PL::Backdrops::object_is_a_backdrop< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > B< / span > < span class = "plain-syntax" > ))< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > POSITIVE_KNOWLEDGE_LOOP< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Instances::as_subject< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > B< / span > < span class = "plain-syntax" > ), < / span > < span class = "constant-syntax" > FOUND_IN_INF< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > World::Inferences::get_reference_as_object< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ) == < / span > < span class = "identifier-syntax" > P< / span > < span class = "plain-syntax" > )< / span >
< span class = "definition-keyword" > define< / span > < span class = "identifier-syntax" > LOOP_OVER_BACKDROPS_EVERYWHERE< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > B< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER_OBJECT_INSTANCES< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > B< / span > < span class = "plain-syntax" > )< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < a href = "3-bck.html#SP6" class = "function-link" > < span class = "function-syntax" > PL::Backdrops::object_is_a_backdrop< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > B< / span > < span class = "plain-syntax" > ))< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > POSITIVE_KNOWLEDGE_LOOP< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Instances::as_subject< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > B< / span > < span class = "plain-syntax" > ), < / span > < span class = "constant-syntax" > FOUND_EVERYWHERE_INF< / span > < span class = "plain-syntax" > )< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP13" class = "paragraph-anchor" > < / a > < b > § 13. < / b > Since backdrops are contained using different mechanisms, the following
2019-03-17 14:40:57 +02:00
(which does nothing if Backdrops isn't plugged in) adds backdrop contents to
2020-05-03 03:01:21 +03:00
a room called < span class = "extract" > < span class = "extract-syntax" > loc< / span > < / span > , or lists backdrops which are "everywhere" if < span class = "extract" > < span class = "extract-syntax" > loc< / span > < / span >
is < span class = "extract" > < span class = "extract-syntax" > NULL< / span > < / span > .
2019-03-17 14:40:57 +02:00
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-09 20:39:31 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > PL::Backdrops::index_object_further< / span > < button class = "popup" onclick = "togglePopup('usagePopup8')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup8" > Usage of < span class = "code-font" > < span class = "function-syntax" > PL::Backdrops::index_object_further< / span > < / span > :< br / > Spatial Model - < a href = "3-sm.html#SP44" > § 44< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUTPUT_STREAM< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > instance< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > loc< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > depth< / span > < span class = "plain-syntax" > ,< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > details< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > how< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > discoveries< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > instance< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > bd< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inference< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > inf< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > loc< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER_BACKDROPS_IN< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > bd< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > loc< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > inf< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (++< / span > < span class = "identifier-syntax" > discoveries< / span > < span class = "plain-syntax" > == < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > ) < / span > < span class = "named-paragraph-container code-font" > < a href = "3-bck.html#SP13_1" class = "named-paragraph-link" > < span class = "named-paragraph" > Insert fore-matter< / span > < span class = "named-paragraph-number" > 13.1< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Data::Objects::index< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > bd< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > depth< / span > < span class = "plain-syntax" > +1, < / span > < span class = "identifier-syntax" > details< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER_BACKDROPS_EVERYWHERE< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > bd< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > inf< / span > < span class = "plain-syntax" > ) {< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (++< / span > < span class = "identifier-syntax" > discoveries< / span > < span class = "plain-syntax" > == < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > ) < / span > < span class = "named-paragraph-container code-font" > < a href = "3-bck.html#SP13_1" class = "named-paragraph-link" > < span class = "named-paragraph" > Insert fore-matter< / span > < span class = "named-paragraph-number" > 13.1< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Data::Objects::index< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > OUT< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > bd< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > depth< / span > < span class = "plain-syntax" > +1, < / span > < span class = "identifier-syntax" > details< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > discoveries< / span > < span class = "plain-syntax" > > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) < / span > < span class = "named-paragraph-container code-font" > < a href = "3-bck.html#SP13_2" class = "named-paragraph-link" > < span class = "named-paragraph" > Insert after-matter< / span > < span class = "named-paragraph-number" > 13.2< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP13_1" class = "paragraph-anchor" > < / a > < b > § 13.1. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Insert fore-matter< / span > < span class = "named-paragraph-number" > 13.1< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > switch< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > how< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > case< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > ); < / span > < span class = "identifier-syntax" > WRITE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "< b> Present everywhere:< /b> "< / span > < span class = "plain-syntax" > ); < / span > < span class = "identifier-syntax" > HTML_TAG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "br"< / span > < span class = "plain-syntax" > ); < / span > < span class = "reserved-syntax" > break< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > case< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 2< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > HTML_TAG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "br"< / span > < span class = "plain-syntax" > ); < / span > < span class = "reserved-syntax" > break< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-09 20:39:31 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "3-bck.html#SP13" > § 13< / a > (twice).< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP13_2" class = "paragraph-anchor" > < / a > < b > § 13.2. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Insert after-matter< / span > < span class = "named-paragraph-number" > 13.2< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > switch< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > how< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > case< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > : < / span > < span class = "identifier-syntax" > HTML_CLOSE< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > ); < / span > < span class = "identifier-syntax" > HTML_TAG< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "hr"< / span > < span class = "plain-syntax" > ); < / span > < span class = "identifier-syntax" > HTML_OPEN< / span > < span class = "plain-syntax" > (< / span > < span class = "string-syntax" > "p"< / span > < span class = "plain-syntax" > ); < / span > < span class = "reserved-syntax" > break< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > case< / span > < span class = "plain-syntax" > < / span > < span class = "constant-syntax" > 2< / span > < span class = "plain-syntax" > : < / span > < span class = "reserved-syntax" > break< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-09 20:39:31 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "3-bck.html#SP13" > § 13< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP14" class = "paragraph-anchor" > < / a > < b > § 14. Everywhere. < / b > Here we defines a form of noun phrase special to Backdrops (because a backdrop
2019-03-17 14:40:57 +02:00
can be said to be "everywhere", which nothing else can).
< / p >
2020-05-09 15:07:39 +03:00
< pre class = "Preform-displayed-code all-displayed-code code-font" >
< span class = "Preform-function-syntax" > < notable-backdrops-noun-phrases> < / span > < span class = "Preform-plain-syntax" > < / span > < span class = "Preform-reserved-syntax" > ::=< / span >
< span class = "Preform-plain-syntax" > < / span > < span class = "Preform-constant-syntax" > everywhere< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-05-20 02:02:28 +03:00
< ul class = "endnotetexts" > < li > This is < a href = "../words-module/4-ap.html" class = "internal" > Preform grammar< / a > , not regular C code.< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP15" class = "paragraph-anchor" > < / a > < b > § 15. < / b > < / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-09 20:39:31 +03:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > PL::Backdrops::backdrops_intervene_in_assertion< / span > < button class = "popup" onclick = "togglePopup('usagePopup9')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup9" > Usage of < span class = "code-font" > < span class = "function-syntax" > PL::Backdrops::backdrops_intervene_in_assertion< / span > < / span > :< br / > < a href = "3-bck.html#SP3" > § 3< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > px< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > parse_node< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > py< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-11 17:21:29 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > Node::get_type< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > py< / span > < span class = "plain-syntax" > ) == < / span > < span class = "identifier-syntax" > EVERY_NT< / span > < span class = "plain-syntax" > ) & & < / span >
< span class = "plain-syntax" > (< / span > < span class = "function-syntax" > < notable-backdrops-noun-phrases> < / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Node::get_text< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > py< / span > < span class = "plain-syntax" > )))) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inference_subject< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > left_subject< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Node::get_subject< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > px< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > left_subject< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > )< / span >
2020-05-21 02:11:29 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Problems::Using::assertion_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Task::syntax_tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > _p_< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PM_ValueEverywhere< / span > < span class = "plain-syntax" > ),< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "'everywhere' can only be used to place individual backdrops"< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "so although 'The mist is a backdrop. The mist is everywhere.' "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "would be fine, 'Corruption is everywhere.' would not."< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > InferenceSubjects::domain< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > left_subject< / span > < span class = "plain-syntax" > ))< / span >
2020-05-21 02:11:29 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > StandardProblems::subject_problem_at_sentence< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > _p_< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PM_KindOfBackdropEverywhere< / span > < span class = "plain-syntax" > ),< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > left_subject< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "seems to be said to be 'everywhere' in some way"< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "which doesn't make sense. An individual backdrop can be 'everywhere', "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "but here we're talking about a whole kind, and it's not allowed "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "to talk about general locations of a whole kind of things at once."< / span > < span class = "plain-syntax" > );< / span >
2020-08-23 18:54:14 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Propositions::Assert::assert_true_about< / span > < span class = "plain-syntax" > (< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Propositions::Abstract::to_put_everywhere< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > left_subject< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > prevailing_mood< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP16" class = "paragraph-anchor" > < / a > < b > § 16. < / b > And this is where it makes the necessary inference after such a request has
2019-03-17 14:40:57 +02:00
been asserted true:
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-29 11:33:21 +03:00
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > PL::Backdrops::infer_presence_everywhere< / span > < button class = "popup" onclick = "togglePopup('usagePopup10')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup10" > Usage of < span class = "code-font" > < span class = "function-syntax" > PL::Backdrops::infer_presence_everywhere< / span > < / span > :< br / > Everywhere, Nowhere and Here - < a href = "3-enah.html#SP5" > § 5< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > instance< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) || (< / span > < span class = "identifier-syntax" > Instances::of_kind< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_backdrop< / span > < span class = "plain-syntax" > ) == < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > )) {< / span >
2020-05-21 02:11:29 +03:00
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > StandardProblems::sentence_problem< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Task::syntax_tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > _p_< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > PM_EverywhereNonBackdrop< / span > < span class = "plain-syntax" > ),< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "only a backdrop can be everywhere"< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "and no other kind of object will do. For instance, 'The sky is "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "a backdrop which is everywhere.' is allowed, but 'The travelator "< / span >
< span class = "plain-syntax" > < / span > < span class = "string-syntax" > "is a vehicle which is everywhere.' is not."< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > World::Inferences::draw< / span > < span class = "plain-syntax" > (< / span > < span class = "constant-syntax" > FOUND_EVERYWHERE_INF< / span > < span class = "plain-syntax" > ,< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Instances::as_subject< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ), < / span > < span class = "identifier-syntax" > prevailing_mood< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP17" class = "paragraph-anchor" > < / a > < b > § 17. Model completion. < / b > We intervene only at Stage II, the spatial modelling stage.
2019-03-17 14:40:57 +02:00
< / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
2020-08-29 11:33:21 +03:00
< span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > PL::Backdrops::backdrops_complete_model< / span > < button class = "popup" onclick = "togglePopup('usagePopup11')" > < span class = "comment-syntax" > ?< / span > < span class = "popuptext" id = "usagePopup11" > Usage of < span class = "code-font" > < span class = "function-syntax" > PL::Backdrops::backdrops_complete_model< / span > < / span > :< br / > < a href = "3-bck.html#SP3" > § 3< / a > < / span > < / button > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > stage< / span > < span class = "plain-syntax" > ) {< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > stage< / span > < span class = "plain-syntax" > == < / span > < span class = "constant-syntax" > 2< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > P_absent< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Properties::EitherOr::new_nameless< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > L< / span > < span class = "string-syntax" > "absent"< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Properties::EitherOr::implement_as_attribute< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > P_absent< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > instance< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER_OBJECT_INSTANCES< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inter_name< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > FOUNDIN< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ;< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "3-bck.html#SP17_1" class = "named-paragraph-link" > < span class = "named-paragraph" > If the object is found everywhere, make a found-in property accordingly< / span > < span class = "named-paragraph-number" > 17.1< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > int< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > room_count< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > region_count< / span > < span class = "plain-syntax" > = < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ;< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "3-bck.html#SP17_2" class = "named-paragraph-link" > < span class = "named-paragraph" > Find how many rooms or regions the object is found inside< / span > < span class = "named-paragraph-number" > 17.2< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > FOUNDIN< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > room_count< / span > < span class = "plain-syntax" > > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > room_count< / span > < span class = "plain-syntax" > < < / span > < span class = "constant-syntax" > 16< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > region_count< / span > < span class = "plain-syntax" > == < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ))< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "3-bck.html#SP17_3" class = "named-paragraph-link" > < span class = "named-paragraph" > The object is found only in a few rooms, and no regions, so make it a list< / span > < span class = "named-paragraph-number" > 17.3< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > FOUNDIN< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > room_count< / span > < span class = "plain-syntax" > + < / span > < span class = "identifier-syntax" > region_count< / span > < span class = "plain-syntax" > > < / span > < span class = "constant-syntax" > 0< / span > < span class = "plain-syntax" > ))< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "3-bck.html#SP17_4" class = "named-paragraph-link" > < span class = "named-paragraph" > The object is found in many rooms or in whole regions, so make it a routine< / span > < span class = "named-paragraph-number" > 17.4< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > FOUNDIN< / span > < span class = "plain-syntax" > == < / span > < span class = "identifier-syntax" > NULL< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > Instances::of_kind< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_backdrop< / span > < span class = "plain-syntax" > )))< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "3-bck.html#SP17_5" class = "named-paragraph-link" > < span class = "named-paragraph" > The object is found nowhere, so give it a stub found-in property and mark it absent< / span > < span class = "named-paragraph-number" > 17.5< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > FOUNDIN< / span > < span class = "plain-syntax" > ) < / span > < a href = "3-tm.html#SP27" class = "function-link" > < span class = "function-syntax" > PL::Map::set_found_in< / span > < / a > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > FOUNDIN< / span > < span class = "plain-syntax" > );< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > return< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP17_1" class = "paragraph-anchor" > < / a > < b > § 17.1. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > If the object is found everywhere, make a found-in property accordingly< / span > < span class = "named-paragraph-number" > 17.1< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inference< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > inf< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > POSITIVE_KNOWLEDGE_LOOP< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inf< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Instances::as_subject< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ), < / span > < span class = "constant-syntax" > FOUND_EVERYWHERE_INF< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FOUNDIN< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Hierarchy::find< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > FOUND_EVERYWHERE_HL< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > break< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-09 20:39:31 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "3-bck.html#SP17" > § 17< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP17_2" class = "paragraph-anchor" > < / a > < b > § 17.2. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > Find how many rooms or regions the object is found inside< / span > < span class = "named-paragraph-number" > 17.2< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inference< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > inf< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > POSITIVE_KNOWLEDGE_LOOP< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inf< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Instances::as_subject< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ), < / span > < span class = "constant-syntax" > FOUND_IN_INF< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > instance< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > loc< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > World::Inferences::get_reference_as_object< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inf< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > K_region< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > Instances::of_kind< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > loc< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_region< / span > < span class = "plain-syntax" > ))) < / span > < span class = "identifier-syntax" > region_count< / span > < span class = "plain-syntax" > ++;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > room_count< / span > < span class = "plain-syntax" > ++;< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-09 20:39:31 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "3-bck.html#SP17" > § 17< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP17_3" class = "paragraph-anchor" > < / a > < b > § 17.3. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > The object is found only in a few rooms, and no regions, so make it a list< / span > < span class = "named-paragraph-number" > 17.3< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > package_request< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > PR< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Hierarchy::package_within< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > INLINE_PROPERTIES_HAP< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Instances::package< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ));< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FOUNDIN< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Hierarchy::make_iname_in< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > INLINE_PROPERTY_HL< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > PR< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > packaging_state< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > save< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Emit::named_array_begin< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > FOUNDIN< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_value< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inference< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > inf< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > POSITIVE_KNOWLEDGE_LOOP< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inf< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Instances::as_subject< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ), < / span > < span class = "constant-syntax" > FOUND_IN_INF< / span > < span class = "plain-syntax" > )< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Emit::array_iname_entry< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Instances::iname< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > World::Inferences::get_reference_as_object< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inf< / span > < span class = "plain-syntax" > )));< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Emit::array_end< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > save< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::annotate_i< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > FOUNDIN< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > INLINE_ARRAY_IANN< / span > < span class = "plain-syntax" > , < / span > < span class = "constant-syntax" > 1< / span > < span class = "plain-syntax" > );< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-09 20:39:31 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "3-bck.html#SP17" > § 17< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP17_4" class = "paragraph-anchor" > < / a > < b > § 17.4. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > The object is found in many rooms or in whole regions, so make it a routine< / span > < span class = "named-paragraph-number" > 17.4< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > backdrop_found_in_notice< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > notice< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > CREATE< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > backdrop_found_in_notice< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > notice< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > backdrop< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > package_request< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Instances::package< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > notice< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > found_in_routine_iname< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Hierarchy::make_iname_in< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > BACKDROP_FOUND_IN_FN_HL< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > notice< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > many_places< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FOUNDIN< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > notice< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > found_in_routine_iname< / span > < span class = "plain-syntax" > ;< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-09 20:39:31 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "3-bck.html#SP17" > § 17< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP17_5" class = "paragraph-anchor" > < / a > < b > § 17.5. < / b > < span class = "extract" > < span class = "extract-syntax" > absent< / span > < / span > is an I6-only attribute which marks a backdrop has having been removed
2020-05-03 03:01:21 +03:00
from the world model. It's not sufficient for an object's < span class = "extract" > < span class = "extract-syntax" > found_in< / span > < / span > always to
2019-03-17 14:40:57 +02:00
say no to the question "are you in the current location?"; the I6 template
2020-05-03 03:01:21 +03:00
code, derived from the old I6 library, requires < span class = "extract" > < span class = "extract-syntax" > absent< / span > < / span > to be set. So:
2019-03-17 14:40:57 +02:00
< / p >
2020-08-09 20:39:31 +03:00
< p class = "commentary" > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > The object is found nowhere, so give it a stub found-in property and mark it absent< / span > < span class = "named-paragraph-number" > 17.5< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > backdrop_found_in_notice< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > notice< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > CREATE< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > backdrop_found_in_notice< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > notice< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > backdrop< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > package_request< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Instances::package< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > notice< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > found_in_routine_iname< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Hierarchy::make_iname_in< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > BACKDROP_FOUND_IN_FN_HL< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > R< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > notice< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > many_places< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > FALSE< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > FOUNDIN< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > notice< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > found_in_routine_iname< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Properties::EitherOr::assert< / span > < span class = "plain-syntax" > (< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > P_absent< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Instances::as_subject< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ), < / span > < span class = "identifier-syntax" > TRUE< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > CERTAIN_CE< / span > < span class = "plain-syntax" > );< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-09 20:39:31 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "3-bck.html#SP17" > § 17< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP18" class = "paragraph-anchor" > < / a > < b > § 18. < / b > < / p >
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > < / span > < span class = "function-syntax" > PL::Backdrops::write_found_in_routines< / span > < span class = "plain-syntax" > (< / span > < span class = "reserved-syntax" > void< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > backdrop_found_in_notice< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > notice< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > LOOP_OVER< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > notice< / span > < span class = "plain-syntax" > , < / span > < span class = "reserved-syntax" > backdrop_found_in_notice< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > instance< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > notice< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > backdrop< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > notice< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > many_places< / span > < span class = "plain-syntax" > )< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "3-bck.html#SP18_1" class = "named-paragraph-link" > < span class = "named-paragraph" > The object is found in many rooms or in whole regions< / span > < span class = "named-paragraph-number" > 18.1< / span > < / a > < / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > else< / span >
2020-08-09 20:39:31 +03:00
< span class = "plain-syntax" > < / span > < span class = "named-paragraph-container code-font" > < a href = "3-bck.html#SP18_2" class = "named-paragraph-link" > < span class = "named-paragraph" > The object is found nowhere< / span > < span class = "named-paragraph-number" > 18.2< / span > < / a > < / span > < span class = "plain-syntax" > ;< / span >
2020-05-03 03:01:21 +03:00
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > }< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP18_1" class = "paragraph-anchor" > < / a > < b > § 18.1. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > The object is found in many rooms or in whole regions< / span > < span class = "named-paragraph-number" > 18.1< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > packaging_state< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > save< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Routines::begin< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > notice< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > found_in_routine_iname< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > inference< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > inf< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > POSITIVE_KNOWLEDGE_LOOP< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inf< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Instances::as_subject< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > I< / span > < span class = "plain-syntax" > ), < / span > < span class = "constant-syntax" > FOUND_IN_INF< / span > < span class = "plain-syntax" > ) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > instance< / span > < span class = "plain-syntax" > *< / span > < span class = "identifier-syntax" > loc< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > World::Inferences::get_reference_as_object< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > inf< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::inv_primitive< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > IF_BIP< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::down< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > ());< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > if< / span > < span class = "plain-syntax" > ((< / span > < span class = "identifier-syntax" > K_region< / span > < span class = "plain-syntax" > ) & & (< / span > < span class = "identifier-syntax" > Instances::of_kind< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > loc< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > K_region< / span > < span class = "plain-syntax" > ))) {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::inv_call_iname< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > Hierarchy::find< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > TESTREGIONALCONTAINMENT_HL< / span > < span class = "plain-syntax" > ));< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::down< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > ());< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::val_iname< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > K_object< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Hierarchy::find< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > LOCATION_HL< / span > < span class = "plain-syntax" > ));< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::val_iname< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > K_object< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Instances::iname< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > loc< / span > < span class = "plain-syntax" > ));< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::up< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > ());< / span >
< span class = "plain-syntax" > } < / span > < span class = "reserved-syntax" > else< / span > < span class = "plain-syntax" > {< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::inv_primitive< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > EQ_BIP< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::down< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > ());< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::val_iname< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > K_object< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Hierarchy::find< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > LOCATION_HL< / span > < span class = "plain-syntax" > ));< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::val_iname< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > (), < / span > < span class = "identifier-syntax" > K_object< / span > < span class = "plain-syntax" > , < / span > < span class = "identifier-syntax" > Instances::iname< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > loc< / span > < span class = "plain-syntax" > ));< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::up< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > ());< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::code< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > ());< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::down< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > ());< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::rtrue< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > ());< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::up< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > ());< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::up< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > ());< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::rfalse< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > ());< / span >
< span class = "plain-syntax" > < / span > < span class = "reserved-syntax" > break< / span > < span class = "plain-syntax" > ;< / span >
< span class = "plain-syntax" > }< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Routines::end< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > save< / span > < span class = "plain-syntax" > );< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-09 20:39:31 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "3-bck.html#SP18" > § 18< / a > .< / li > < / ul >
2020-08-18 00:57:45 +03:00
< p class = "commentary firstcommentary" > < a id = "SP18_2" class = "paragraph-anchor" > < / a > < b > § 18.2. < / b > < span class = "named-paragraph-container code-font" > < span class = "named-paragraph-defn" > The object is found nowhere< / span > < span class = "named-paragraph-number" > 18.2< / span > < / span > < span class = "comment-syntax" > =< / span >
2020-05-03 03:01:21 +03:00
< / p >
2019-03-17 14:40:57 +02:00
2020-05-03 03:01:21 +03:00
< pre class = "displayed-code all-displayed-code code-font" >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > packaging_state< / span > < span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > save< / span > < span class = "plain-syntax" > = < / span > < span class = "identifier-syntax" > Routines::begin< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > notice< / span > < span class = "plain-syntax" > -> < / span > < span class = "element-syntax" > found_in_routine_iname< / span > < span class = "plain-syntax" > );< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Produce::rfalse< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > Emit::tree< / span > < span class = "plain-syntax" > ());< / span >
< span class = "plain-syntax" > < / span > < span class = "identifier-syntax" > Routines::end< / span > < span class = "plain-syntax" > (< / span > < span class = "identifier-syntax" > save< / span > < span class = "plain-syntax" > );< / span >
2019-03-17 14:40:57 +02:00
< / pre >
2020-08-09 20:39:31 +03:00
< ul class = "endnotetexts" > < li > This code is used in < a href = "3-bck.html#SP18" > § 18< / a > .< / li > < / ul >
2020-05-03 03:01:21 +03:00
< nav role = "progress" > < div class = "progresscontainer" >
2020-08-29 11:33:21 +03:00
< ul class = "progressbar" > < li class = "progressprev" > < a href = "3-dvc.html" > ❮ < / a > < / li > < li class = "progresschapter" > < a href = "1-im.html" > 1< / a > < / li > < li class = "progresschapter" > < a href = "2-ifi.html" > 2< / a > < / li > < li class = "progresscurrentchapter" > 3< / li > < li class = "progresssection" > < a href = "3-tnt.html" > tnt< / a > < / li > < li class = "progresssection" > < a href = "3-sm.html" > sm< / a > < / li > < li class = "progresssection" > < a href = "3-enah.html" > enah< / a > < / li > < li class = "progresssection" > < a href = "3-sr.html" > sr< / a > < / li > < li class = "progresssection" > < a href = "3-prs.html" > prs< / a > < / li > < li class = "progresssection" > < a href = "3-tp.html" > tp< / a > < / li > < li class = "progresssection" > < a href = "3-dvc.html" > dvc< / a > < / li > < li class = "progresscurrent" > bck< / li > < li class = "progresssection" > < a href = "3-rgn.html" > rgn< / a > < / li > < li class = "progresssection" > < a href = "3-tm.html" > tm< / a > < / li > < li class = "progresssection" > < a href = "3-mcr.html" > mcr< / a > < / li > < li class = "progresssection" > < a href = "3-sg.html" > sg< / a > < / li > < li class = "progresssection" > < a href = "3-sm2.html" > sm2< / a > < / li > < li class = "progresssection" > < a href = "3-hm.html" > hm< / a > < / li > < li class = "progresssection" > < a href = "3-em.html" > em< / a > < / li > < li class = "progresssection" > < a href = "3-sc.html" > sc< / a > < / li > < li class = "progresssection" > < a href = "3-scn.html" > scn< / a > < / li > < li class = "progresssection" > < a href = "3-tm2.html" > tm2< / a > < / li > < li class = "progresssection" > < a href = "3-ts.html" > ts< / a > < / li > < li class = "progresschapter" > < a href = "4-act.html" > 4< / a > < / li > < li class = "progresschapter" > < a href = "5-itg.html" > 5< / a > < / li > < li class = "progressnext" > < a href = "3-rgn.html" > ❯ < / a > < / li > < / ul > < / div >
2020-05-03 03:01:21 +03:00
< / nav > <!-- End of weave -->
2019-03-17 14:40:57 +02:00
2020-03-19 02:11:25 +02:00
< / main >
2019-03-17 14:40:57 +02:00
< / body >
< / html >
