Language Reference/Terms - Revision history

Thomas Linder Puls: Casing

2025-08-19T15:05:11Z

Casing

← Older revision		Revision as of 17:05, 19 August 2025
Line 551:		Line 551:
	}}		}}

	===== cut ~~Scopes~~ =====		===== cut scopes =====

	A cut scope is a scope to which the effect of a <vp>cut</vp> is limited. Meaning that if a <vp>cut</vp> is met within a cut scope then only backtrack points within that scope are discarded, while backtrack points outside (i.e. prior to) the cut scope remains.		A cut scope is a scope to which the effect of a <vp>cut</vp> is limited. Meaning that if a <vp>cut</vp> is met within a cut scope then only backtrack points within that scope are discarded, while backtrack points outside (i.e. prior to) the cut scope remains.

SergeMukhin: typo

2024-08-09T05:44:48Z

typo

← Older revision		Revision as of 07:44, 9 August 2024
Line 729:		Line 729:


	The examples below will be based on <vp>iterator</vp> ~~objets~~.		The examples below will be based on <vp>iterator</vp> object.

	<vip>interface iterator		<vip>interface iterator

SergeMukhin: /* Object Expressions */

2023-02-19T19:18:44Z

Object Expressions

← Older revision		Revision as of 21:18, 19 February 2023
Line 663:		Line 663:
	{{Example\|<vip>Object =		{{Example\|<vip>Object =
	implement : observer		implement : observer
			clauses
	onNext(A) :- F(toString(A)).		onNext(A) :- F(toString(A)).
	onCompletion() :- F("\n").		onCompletion() :- F("\n").

Thomas Linder Puls: release

2021-04-15T13:49:32Z

release

← Older revision		Revision as of 15:49, 15 April 2021
Line 656:		Line 656:

	=== Object Expressions ===		=== Object Expressions ===
	~~{{NonReleased}}~~

	An object expressions is an expressions that evaluates to an object. Like anonymous predicates it can capture values from and access facts in the context it appears in.		An object expressions is an expressions that evaluates to an object. Like anonymous predicates it can capture values from and access facts in the context it appears in.

Thomas Linder Puls: Object expressions

2021-04-14T08:01:07Z

Object expressions

Show changes

Thomas Linder Puls: one of

2020-10-19T09:57:59Z

one of

← Older revision		Revision as of 11:57, 19 October 2020
Line 79:		Line 79:
	=== Identifier ===		=== Identifier ===

	<vipbnf><Identifier>:		<vipbnf><Identifier>: one of
	<MemberName>		<MemberName>
	<GlobalScopeMembername>		<GlobalScopeMembername>

SergeMukhin: add --

2019-10-29T10:57:49Z

add --

← Older revision		Revision as of 12:57, 29 October 2019
Line 384:		Line 384:
	A ** B % A and B		A ** B % A and B
	A ++ B % A or B		A ++ B % A or B
			A -- B % A and not B
	A ^^ B % A exclusive or B		A ^^ B % A exclusive or B
	~~ A % not A		~~ A % not A

Thomas Linder Puls: release

2019-03-12T16:17:09Z

release

← Older revision		Revision as of 18:17, 12 March 2019
Line 378:		Line 378:

	=== Bitwise and boolean operators ===		=== Bitwise and boolean operators ===

	~~{{Template:NonReleased}}~~

	The following operators for bitwise operations on <vp>unsigned</vp>, <vp>unsigned64</vp> and <vp>unsignedNative</vp>.		The following operators for bitwise operations on <vp>unsigned</vp>, <vp>unsigned64</vp> and <vp>unsignedNative</vp>.

Thomas Linder Puls: Bitwise and boolean operators

2019-02-21T13:00:14Z

Bitwise and boolean operators

@@ Line 376: / Line 376: @@
          ...</vip>
 <vp>p</vp> is a procedure. An exception will be raised if it is called with an empty list, because <vp>[H|T]</vp> and <vp>L</vp> cannot unify.}}
 === Logical Operators ===

Thomas Linder Puls: cut section

2019-02-19T21:00:14Z

cut section

← Older revision		Revision as of 23:00, 19 February 2019
Line 492:		Line 492:
	Also notice that <vp>not(A)</vp> can never succeed with backtrack points, because if <vp>not(A)</vp> succeeds then <vp>A</vp> have failed, and a failed term cannot contain any backtrack points. This in turn means that all possibilities of success in <vp>A</vp> have been exhausted.		Also notice that <vp>not(A)</vp> can never succeed with backtrack points, because if <vp>not(A)</vp> succeeds then <vp>A</vp> have failed, and a failed term cannot contain any backtrack points. This in turn means that all possibilities of success in <vp>A</vp> have been exhausted.

	==== ~~Cut~~ ====		==== cut (!) ====

	Cut "<vp>!</vp>" removes all backtrack points created since the entrance to the current predicate, this means all backtrack points to subsequent clauses, plus backtrack points in predicate calls made in the current clause before the "<vp>!</vp>".		Cut "<vp>!</vp>" removes all backtrack points created since the entrance to the current predicate, this means all backtrack points to subsequent clauses, plus backtrack points in predicate calls made in the current clause before the "<vp>!</vp>".
Line 533:		Line 533:
	}}		}}

	===== ~~Cut~~ Scopes =====		===== cut Scopes =====

	A cut scope is a scope to which the effect of a <vp>cut</vp> is limited. Meaning that if a <vp>cut</vp> is met within a cut scope then only backtrack points within that scope are discarded, while backtrack points outside (i.e. prior to) the cut scope remains.		A cut scope is a scope to which the effect of a <vp>cut</vp> is limited. Meaning that if a <vp>cut</vp> is met within a cut scope then only backtrack points within that scope are discarded, while backtrack points outside (i.e. prior to) the cut scope remains.