VIP7 Construct examples - Revision history

Thomas Linder Puls: link

2017-07-04T09:20:21Z

link

← Older revision		Revision as of 11:20, 4 July 2017
Line 300:		Line 300:
	=== Polymorphic Domains ===		=== Polymorphic Domains ===

	See [[Objects and Polymorphism]]		See {{lang\|Objects and Polymorphism\|Objects and Polymorphism}}

	First, check out the definitions - <vp>core::tuple{}</vp>. And while you're there, just below, see <vp>core::predicate{}</vp> and <vp>core::function{}</vp>, then followed by <vp>comparator{A}</vp> and <vp>list{A}</vp>.		First, check out the definitions - <vp>core::tuple{}</vp>. And while you're there, just below, see <vp>core::predicate{}</vp> and <vp>core::function{}</vp>, then followed by <vp>comparator{A}</vp> and <vp>list{A}</vp>.
Line 362:		Line 362:
	fail.		fail.
	call_pd(_).</vip>		call_pd(_).</vip>


	=== Properties ===		=== Properties ===

Thomas Linder Puls: Anonymous predicates

2017-07-04T09:05:24Z

Anonymous predicates

← Older revision		Revision as of 11:05, 4 July 2017
Line 589:		Line 589:

	=== Anonymous predicates ===		=== Anonymous predicates ===

	~~''(under development)''~~

	See [[Language Reference/Terms/Anonymous Predicates\|Anonymous Predicates]]		See [[Language Reference/Terms/Anonymous Predicates\|Anonymous Predicates]]

Thomas Linder Puls: /* Lists - findall and list comprehension */ formatting

2013-06-21T09:04:13Z

Lists - findall and list comprehension: formatting

← Older revision		Revision as of 11:04, 21 June 2013
Line 71:		Line 71:
	clauses		clauses
	pred_new() :-		pred_new() :-
	List = [X\|\|ndb(X)].		List = [ X \|\| ndb(X) ].
	%results in List = [1,2,3,4,5,6,7,8,9,10]		%results in List = [1,2,3,4,5,6,7,8,9,10]

	clauses		clauses
	pred_filter() :-		pred_filter() :-
	List = [X\|\|ndb(X), X>6].		List = [ X \|\| ndb(X), X>6 ].
	%results in List = [7,8,9,10]		%results in List = [7,8,9,10]

	pred_filter() :-		pred_filter() :-
	List = [X\|\|ndb(X), X mod 2 = 0].		List = [ X \|\| ndb(X), X mod 2 = 0 ].
	%results in List = [2,4,6,8,10]		%results in List = [2,4,6,8,10]

	pred_filter() :-		pred_filter() :-
	List = [X\|\|ndb(X), X mod 2 = 0, X<7].		List = [ X \|\| ndb(X), X mod 2 = 0, X<7 ].
	%results in List = [2,4,6]		%results in List = [2,4,6]

	pred_filter() :-		pred_filter() :-
	zz_int := 0,		zz_int := 0,
	List = [X\|\|ndb(X), X mod 2 = 0, X<7, zz_int := zz_int+1].		List = [ X \|\| ndb(X), X mod 2 = 0, X<7, zz_int := zz_int+1 ].
	%results in List = [2,4,6] and zz_int = 3.		%results in List = [2,4,6] and zz_int = 3.

	pred_filter() :-		pred_filter() :-
	List = [X\|\|ndb(X), Y = pred2(X), Y>10]. %with pred2(X) = X^2.		List = [ X \|\| ndb(X), Y = pred2(X), Y>10 ]. %with pred2(X) = X^2.
	%results in List = [4,5,6,7,8,9,10]		%results in List = [4,5,6,7,8,9,10]
	%reason - X = 3 gives Y = 9 which is < 10.		%reason - X = 3 gives Y = 9 which is < 10.
Line 103:		Line 103:

	pred_other() :-		pred_other() :-
	Primes = [X\|\|X = std::fromto(1,300),		Primes =
	L1 = [Y\|\|Y = std::fromto(2,150)],		[ X \|\| X = std::fromto(1,300),
	tt(X,L1)].		L1 = [ Y \|\| Y = std::fromto(2,150) ],
			tt(X,L1) ].
	%results in List = prime numbers, with:		%results in List = prime numbers, with:

Steve Lympany: list::isMemberBy example

2010-06-28T14:02:32Z

list::isMemberBy example

@@ Line 503: / Line 503: @@
 				end if},
 	           	zz_triples).
 </vip>
 Also see

Steve Lympany: /* list::sortby example using Comparator */ added link to language reference page

2010-01-20T13:37:13Z

list::sortby example using Comparator: added link to language reference page

← Older revision		Revision as of 15:37, 20 January 2010
Line 504:		Line 504:
	zz_triples).		zz_triples).
	</vip>		</vip>
			Also see
			[http://wiki.visual-prolog.com/index.php?title=Language_Reference/Terms#Sorting http://wiki.visual-prolog.com/index.php?title=Language_Reference/Terms#Sorting]

	=== More on core::function and core::predicate ===		=== More on core::function and core::predicate ===

Steve Lympany: /* list::sortby example using Comparator */ extended format

2010-01-18T16:03:05Z

list::sortby example using Comparator: extended format

@@ Line 488: / Line 488: @@
 </vip>
+or
 === More on core::function and core::predicate ===

Steve Lympany: format list::sortby

2010-01-18T15:55:47Z

format list::sortby

← Older revision		Revision as of 17:55, 18 January 2010
Line 460:		Line 460:

	Say you have the following domain and fact:<br>		Say you have the following domain and fact:<br>
	<vp>		<vip>
	domains		domains
	triple=triple(string,gmttimevalue,integer).		triple=triple(string,gmttimevalue,integer).
	facts		facts
	zz_triples:triple:=erroneous.		zz_triples:triple:=erroneous.
	</vp><br>		</vip><br>
	zz_triples is populated, but it needs to be sorted by date/time. Then:		zz_triples is populated, but it needs to be sorted by date/time. Then:

	<vp>		<vip>
	clauses		clauses
	test():-		test():-
Line 487:		Line 487:
	end if,!.		end if,!.

	</vp>		</vip>

Steve Lympany: added a list::sortby example

2010-01-18T15:53:57Z

added a list::sortby example

← Older revision		Revision as of 17:53, 18 January 2010
Line 454:		Line 454:

	...a bit pointless since the string part of the variables have been ignored, but it is easy to see how to expand <vp>compare_it()</vp> to your own needs.		...a bit pointless since the string part of the variables have been ignored, but it is easy to see how to expand <vp>compare_it()</vp> to your own needs.

			=== list::sortby example using Comparator===

			list::sortby also uses Compareresult.<br>

			Say you have the following domain and fact:<br>
			<vp>
			domains
			triple=triple(string,gmttimevalue,integer).
			facts
			zz_triples:triple:=erroneous.
			</vp><br>
			zz_triples is populated, but it needs to be sorted by date/time. Then:

			<vp>
			clauses
			test():-
			zz_triples:=list::sortby(cp,zz_triples).

			predicates
			cp:core::comparator{triple}.
			clauses
			cp(A,B)=CompareResult:-
			A=triple(_,ATv,_),
			B=triple(_,BTv,_),
			GMTA=gmttime::new(Atv),
			GMTB=gmttime::new(Btv),
			if GMTA:before(GMTB) then
			CompareResult=less
			else
			CompareResult=greater
			end if,!.

			</vp>


	=== More on core::function and core::predicate ===		=== More on core::function and core::predicate ===

Thomas Linder Puls: /* Lists - findall and list comprehension */ spelling

2009-10-19T13:18:04Z

Lists - findall and list comprehension: spelling

← Older revision		Revision as of 15:18, 19 October 2009
Line 51:		Line 51:

	See [[Lists and Recursion]]		See [[Lists and Recursion]]
	<vp>findall()</vp> has been ~~depricated~~, so use the list comprehension construct.		<vp>findall()</vp> has been deprecated, so use the list comprehension construct.

	'''Examples'''		'''Examples'''

Steve Lympany: /* Fact variables */ added zz_int for return value

2009-05-03T13:50:29Z

Fact variables: added zz_int for return value

← Older revision		Revision as of 15:50, 3 May 2009
Line 38:		Line 38:
	how_many : () -> integer Count.		how_many : () -> integer Count.
	clauses		clauses
	how_many() = _ :-		how_many() = zz_int :-
	zz_int := 0,		zz_int := 0,
	foreach some_nondeterm_fact_or_pred() do		foreach some_nondeterm_fact_or_pred() do