Compound and List Domains - Revision history

Thomas Linder Puls: tree and code

2023-02-14T14:17:49Z

tree and code

← Older revision		Revision as of 16:17, 14 February 2023
Line 129:		Line 129:
	Examine the data, noticing the six arguments in the fact phone_list; five of these arguments can be broken down into two compound domains, like this:		Examine the data, noticing the six arguments in the fact phone_list; five of these arguments can be broken down into two compound domains, like this:

	<pre> person birthday		<pre> person birthday
	/ \ / \| \		/ \ / \| \
	/ \ / \| \		/ \ / \| \
	First Name Last Name Month Day Year</pre>It might be more useful to represent your facts so that they reflect these compound domains. Going back a step, you can see that person is a relationship, and the first and last names are the arguments. Also, birthday is a relationship with three arguments: month, day, and year. The Prolog representation of these relationships is		First Name Last Name Month Day Year</pre>It might be more useful to represent your facts so that they reflect these compound domains. Going back a step, you can see that person is a relationship, and the first and last names are the arguments. Also, birthday is a relationship with three arguments: month, day, and year. The Prolog representation of these relationships is

	<vip>~~owns~~(~~"John"~~, ~~"From Here to Eternity"~~).		<vip>domains
	~~owns~~(~~"John"~~, ~~"Blacky"~~).</vip>		name = person(string First, string Last).
			birthday = b_date(string Month, integer Day, integer Year).</vip>

	You can now rewrite your small database to include these compound domains as part of your database.		You can now rewrite your small database to include these compound domains as part of your database.

	<vip>~~domains~~		<vip>class predicates
	~~name = person(string First, string Last).~~
	~~birthday = b_date(string Month, integer Day, integer Year).~~

	class predicates
	phone_list : (name Name, string Ph_num, birthday Birthday) determ.		phone_list : (name Name, string Ph_num, birthday Birthday) determ.
	clauses		clauses

Thomas Linder Puls: Trees

2023-02-14T13:35:20Z

Trees

← Older revision		Revision as of 15:35, 14 February 2023
Line 7:		Line 7:
	Compound domains allow you to treat several pieces of information as a single item in such a way that you can easily pick them apart again. Consider, for instance, the date "October 15, 2003". It consists of three pieces of information – the month, day, and year – but it is useful to treat the whole thing as a single data with a treelike structure:		Compound domains allow you to treat several pieces of information as a single item in such a way that you can easily pick them apart again. Consider, for instance, the date "October 15, 2003". It consists of three pieces of information – the month, day, and year – but it is useful to treat the whole thing as a single data with a treelike structure:

	<pre> DATE		<pre> DATE
	/\|\		/\|\
	/ \| \		/ \| \
	/ \| \		/ \| \
	/ \| \		/ \| \
	October 15 2003</pre>You can do this by declaring a domain containing the compound domain '''date''':		October 15 2003</pre>You can do this by declaring a domain containing the compound domain '''date''':

Line 27:		Line 27:
	The arguments of a compound value can themselves be compound. For instance, you might think of someone's birthday as an information structure like this:		The arguments of a compound value can themselves be compound. For instance, you might think of someone's birthday as an information structure like this:

	<pre> birthday		<pre> birthday
	/ \		/ \
	/ \		/ \
	/ \		/ \
	/ \		/ \
	/ \		/ \
	person date		/ \
	/ \ / \| \		/ \
	/ \ / \| \		person date
	"Per" "Schultze" "Apr" 14 1960</pre>In Prolog you would write this as:		/ \ / \| \
			/ \ / \| \
			"Per" "Schultze" "Apr" 14 1960</pre>In Prolog you would write this as:

	<vip>birthday(person("Per", "Schultze"), date("Apr",14,1960)).</vip>		<vip>birthday(person("Per", "Schultze"), date("Apr",14,1960)).</vip>

Magnus Jacobsen: /* Using the Equal Sign to Unify Compound Domains */

2022-09-07T11:09:12Z

Using the Equal Sign to Unify Compound Domains

← Older revision		Revision as of 13:09, 7 September 2022
Line 74:		Line 74:
	stdio::write("P1 = ", P1, "\n"),		stdio::write("P1 = ", P1, "\n"),
	stdio::write("P2 = ", P2, "\n")		stdio::write("P2 = ", P2, "\n")
	;		or
	stdio::write("No solution").		stdio::write("No solution").
	end implement		end implement

Troels Anker Jørgensen at 14:12, 8 January 2020

2020-01-08T14:12:21Z

← Older revision		Revision as of 16:12, 8 January 2020
Line 171:		Line 171:
	stdio::write(" First Name\t\t Last Name\n"),		stdio::write(" First Name\t\t Last Name\n"),
	stdio::write("***********************************\n"),		stdio::write("***********************************\n"),
	~~CurTime~~ = time::~~new~~(),		Now = time::now(),
	~~CurTime~~:getDate(_, ThisMonth, _),		Now:getDate(_, ThisMonth, _),
	phone_list(Person, _, Date),		phone_list(Person, _, Date),
	check_birthday_month(ThisMonth, Date),		check_birthday_month(ThisMonth, Date),

Tbn: /* Multi-Level Compound Domains */

2016-11-03T10:32:31Z

Multi-Level Compound Domains

← Older revision		Revision as of 12:32, 3 November 2016
Line 357:		Line 357:

	<vip>domains		<vip>domains
	articles = book(string Title, ~~string~~ Author); ...		articles = book(string Title, author Author); ...
	/* First level */		/* First level */
	author = author(string First_name, string Last_name).		author = author(string First_name, string Last_name).

Thomas Linder Puls: /* Unification of Compound Domains */ matches

2016-11-03T10:17:18Z

Unification of Compound Domains: matches

← Older revision		Revision as of 12:17, 3 November 2016
Line 44:		Line 44:
	==Unification of Compound Domains==		==Unification of Compound Domains==

	A compound value can unify either with a simple variable or with a compound value that matches it(perhaps containing variables as parts of its internal structure). This means you can use a compound value to pass the whole collection of items as a single value, and then use unification to pick them apart. For example,		A compound value can unify either with a simple variable or with a compound value that matches it(perhaps containing variables as parts of its internal structure). This means you can use a compound value to pass the whole collection of items as a single value, and then use unification to pick them apart. For example, <vp>date("April", 14, 1960)</vp> matches <vp>X</vp> and binds <vp>X</vp> to <vp>date("April",14,1960)</vp>. Also <vp>date("April", 14, 1960)</vp> matches <vp>date(Mo, Da, Yr)</vp> and binds <vp>Mo</vp> to <vp>"April"</vp>, <vp>Da</vp> to <vp>14</vp>, and <vp>Yr</vp> to <vp>1960</vp>.

	<~~vip~~>~~X =~~ date("April", 14, 1960)</~~vip~~>

	matches <vp>X</vp> and binds <vp>X</vp> to <vp>date("April",14,1960)</vp>. Also

	<~~vip~~>~~date(Mo, Da, Yr) =~~ date("April", 14, 1960)</~~vip~~>

	matches <vp>date(Mo, Da, Yr)</vp> and binds <vp>Mo</vp> to <vp>"April"</vp>, <vp>Da</vp> to <vp>14</vp>, and <vp>Yr</vp> to <vp>1960</vp>.

	===Using the Equal Sign to Unify Compound Domains===		===Using the Equal Sign to Unify Compound Domains===

Thomas Linder Puls: /* Unification of Compound Domains */ Matches

2016-11-03T10:08:17Z

Unification of Compound Domains: Matches

← Older revision		Revision as of 12:08, 3 November 2016
Line 46:		Line 46:
	A compound value can unify either with a simple variable or with a compound value that matches it(perhaps containing variables as parts of its internal structure). This means you can use a compound value to pass the whole collection of items as a single value, and then use unification to pick them apart. For example,		A compound value can unify either with a simple variable or with a compound value that matches it(perhaps containing variables as parts of its internal structure). This means you can use a compound value to pass the whole collection of items as a single value, and then use unification to pick them apart. For example,

	<vip>date("April", 14, 1960)</vip>		<vip>X = date("April", 14, 1960)</vip>

	matches X and binds X to date("April",14,1960). Also		matches <vp>X</vp> and binds <vp>X</vp> to <vp>date("April",14,1960)</vp>. Also

	<vip>date("April", 14, 1960)</vip>		<vip>date(Mo, Da, Yr) = date("April", 14, 1960)</vip>

	matches date(Mo,Da,Yr) and binds Mo to "April", Da to 14, and Yr to 1960.		matches <vp>date(Mo, Da, Yr)</vp> and binds <vp>Mo</vp> to <vp>"April"</vp>, <vp>Da</vp> to <vp>14</vp>, and <vp>Yr</vp> to <vp>1960</vp>.

	===Using the Equal Sign to Unify Compound Domains===		===Using the Equal Sign to Unify Compound Domains===

Thomas Linder Puls: category

2016-03-04T10:13:31Z

Thomas Linder Puls: Code style

2014-12-18T12:58:50Z

Code style

← Older revision		Revision as of 14:58, 18 December 2014
Line 150:		Line 150:

	class predicates		class predicates
	phone_list :(name, string Ph_num, birthday) determ.		phone_list : (name Name, string Ph_num, birthday Birthday) determ.
	clauses		clauses
	phone_list(person("Ed", "Willis"), "422-0208",		phone_list(person("Ed", "Willis"), "422-0208", b_date("aug", 3, 1955)).
	b_date("aug", 3, 1955)).		phone_list(person("Chris", "Grahm"), "433-9906", b_date("may", 12, 1962)).</vip>
	phone_list(person("Chris", "Grahm"), "433-9906",
	b_date("may", 12, 1962)).</vip>

	In this program, two compound '''domains''' declarations were introduced. We go into more detail about these compound data structures later in this chapter. For now, we will concentrate on the benefits of using such compound domains.		In this program, two compound '''domains''' declarations were introduced. We go into more detail about these compound data structures later in this chapter. For now, we will concentrate on the benefits of using such compound domains.
Line 168:		Line 166:
	birthday = b_date(string Month, integer Day, integer Year).		birthday = b_date(string Month, integer Day, integer Year).
	predicates		predicates
	phone_list :(name, string Ph_num, birthday) multi~~(o,o,o)~~.		phone_list : (name Name [out], string Ph_num [out], birthday Birthday [out]) multi.
	get_months_birthdays :().		get_months_birthdays : ().
	convert_month :(string Name, integer Num) determ~~(i,o)~~.		convert_month : (string Name, integer Num [out]) determ.
	check_birthday_month :(integer Month_num, birthday) determ.		check_birthday_month : (integer Month_num, birthday Birthday) determ.
	write_person :(name).		write_person : (name Name).
	end class		end class

Thomas Linder Puls: Note is not a header

2007-10-17T22:52:15Z

Note is not a header

← Older revision		Revision as of 00:52, 18 October 2007
Line 338:		Line 338:
	Here, alternative1 and alternative2 are arbitrary(but different) functors. The notation(D, D, ...) represents a list of domain names that are either declared elsewhere or are one of the standard domain types(such as string, integer, real, etc).		Here, alternative1 and alternative2 are arbitrary(but different) functors. The notation(D, D, ...) represents a list of domain names that are either declared elsewhere or are one of the standard domain types(such as string, integer, real, etc).

	~~====~~'''Note''':~~====~~		'''Note''':

	*The alternatives are separated by semicolons.		*The alternatives are separated by semicolons.

← Older revision		Revision as of 12:13, 4 March 2016
Line 503:		Line 503:
	*take a variable number of arguments, some of which might be of more than one possible type.		*take a variable number of arguments, some of which might be of more than one possible type.

	~~==References==~~
	[[ru:Cоставные Домены и Списки]]		[[ru:Cоставные Домены и Списки]]
	[[Category:~~Tutorials~~]]		[[Category:Data types and handling]]