<HTML>
<HEAD>
<!-- Created by texi2html 1.56k + clip patches and <A href="http://www.clip.dia.fi.upm.es/Software">lpdoc</A> from ciao.texi on 28 January 2007 -->
<LINK rel="stylesheet" href="ciao.css" type="text/css">
<TITLE>The Ciao Prolog System - Terms with named arguments -records/feature terms</TITLE>
</HEAD>
<BODY>
Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_98.html">previous</A>, <A HREF="ciao_100.html">next</A>, <A HREF="ciao_241.html">last</A> section, <A HREF="ciao_toc.html">table of contents</A>.
<P><HR><P>
<H1><A NAME="SEC408" HREF="ciao_toc.html#TOC408">Terms with named arguments -records/feature terms</A></H1>
<P>
<A NAME="IDX5294"></A>
<P>
<STRONG>Author(s):</STRONG> Daniel Cabeza and Manuel Hermenegildo.
<P>
<STRONG>Version:</STRONG> 1.10#7 (2006/4/26, 19:22:13 CEST)
<P>
<STRONG>Version of last change:</STRONG> 1.7#118 (2001/8/28, 15:7:22 CEST)
<P>
<A NAME="IDX5295"></A>
<A NAME="IDX5296"></A>
This library package provides syntax which allows accessing term arguments by name (these terms are sometimes also referred to as
<A NAME="IDX5297"></A>
<A NAME="IDX5298"></A>
<EM>records</EM>, and are also similar to
<A NAME="IDX5299"></A>
<A NAME="IDX5300"></A>
<EM>feature terms</EM> [AKPS92]).
<UL>
<LI><A HREF="ciao_99.html#SEC409">Usage and interface (argnames)</A>
<LI><A HREF="ciao_99.html#SEC410">Documentation on new declarations (argnames)</A>
<LI><A HREF="ciao_99.html#SEC411">Other information (argnames)</A>
<LI><A HREF="ciao_99.html#SEC414">Known bugs and planned improvements (argnames)</A>
</UL>
<H2><A NAME="SEC409" HREF="ciao_toc.html#TOC409">Usage and interface (<CODE>argnames</CODE>)</A></H2>
<div class="cartouche">
<UL>
<LI><STRONG>Library usage:</STRONG>
<CODE>:- use_package(argnames).</CODE>
or
<CODE>:- module(...,...,[argnames]).</CODE>
<LI><STRONG>New operators defined:</STRONG>
<A NAME="IDX5301"></A>
<CODE>$/2</CODE> [150,xfx],
<A NAME="IDX5302"></A>
<CODE>=>/2</CODE> [950,xfx],
<A NAME="IDX5303"></A>
<CODE>argnames/1</CODE> [1150,fx].
<LI><STRONG>New declarations defined:</STRONG>
<A NAME="IDX5304"></A>
<CODE>argnames/1</CODE>.
</UL>
</div class="cartouche">
<H2><A NAME="SEC410" HREF="ciao_toc.html#TOC410">Documentation on new declarations (<CODE>argnames</CODE>)</A></H2>
<P>
<A NAME="IDX5305"></A>
<A NAME="IDX5306"></A>
<DL>
<DT><span class="define">DECLARATION:</span> <B>argnames/1:</B>
<DD><A NAME="IDX5307"></A>
<P>
<STRONG>Usage:</STRONG> :- <CODE>argnames(ArgNamedPredSpec)</CODE>.
<UL>
<LI><EM>Description:</EM> An
<A NAME="IDX5308"></A>
<CODE>argnames/1</CODE> declaration assigns names to the argument positions of terms (or literal/goals) which use a certain functor/arity. This allows referring to these arguments by their name rather than by their argument position. Sometimes, argument names may be clearer and easier to remember than argument positions, specially for predicates with many arguments. Also, in some cases this may allow adding arguments to certain predicates without having to change the code that uses them. These terms with named arguments are sometimes also referred to as
<A NAME="IDX5309"></A>
records, and are also similar to
<A NAME="IDX5310"></A>
feature terms [AKPS92]. For example, in order to write a program for the <EM>zebra</EM> puzzle we might declare:
<PRE>
:- use_package([argnames]).
:- argnames house(color, nation, pet, drink, car).
</PRE>
which first includes the package and then assigns a name to each of the arguments of any term (or literal/goal) with <CODE>house/5</CODE> as the main functor.
For convenience the package extends the built-in
<A NAME="IDX5311"></A>
<CODE>data/1</CODE> declaration so that names to arguments can be asigned as with the
<A NAME="IDX5312"></A>
<CODE>argnames/1</CODE> declaration, as for example:
<PRE>
:- data product(id, description, brand, quantity).
</PRE>
Once an
<A NAME="IDX5313"></A>
<CODE>argnames/1</CODE> is given, is possible to use the names to refer to the arguments of any term (or literal/goal) which has the same main functor as that of the term which appears in the
<A NAME="IDX5314"></A>
<CODE>argnames/1</CODE> declaration. This is done by first writing the functor name, then the infix operator <CODE>$</CODE>, and then, between curly brackets, zero, one, or more pairs <EM>argument-name</EM><CODE>=></CODE><EM>argument-value</EM>, separated by commas (i.e., the infix operator <CODE>=></CODE> is used between the name and the value). Again, argument names must be atomic. Argument values can be any term. Arguments which are not specified are assumed to have a value of "<CODE>_</CODE>" (i.e., they are left unconstrained).
Thus, after the declaration for <CODE>house/5</CODE> in the example above, any ocurrence in that code of, for example, <CODE>house${nation=>Owns_zebra,pet=>zebra}</CODE> is exactly equivalent to <CODE>house(_,Owns_zebra,zebra,_,_)</CODE>. Also, <CODE>house${}</CODE> is equivalent to <CODE>house(_,_,_,_,_)</CODE>. The actual zebra puzzle specification might include a clause such as:
<PRE>
zebra(Owns_zebra, Drinks_water, Street) :-
Street = [house${},house${},house${},house${},house${}],
member(house${nation=>Owns_zebra,pet=>zebra}, Street),
member(house${nation=>Drinks_water,drink=>water}, Street),
member(house${drink=>coffee,color=>green}, Street),
left_right(house${color=>ivory}, house${color=>green}, Street),
member(house${car=>porsche,pet=>snails}, Street),
...
</PRE>
Another syntax supported, useful mainly in declarations, to avoid specify the arity is <CODE>house${/}</CODE>, which is equivalent in our example to <CODE>house/5</CODE> (but for data declarations there is a special syntax as we have seen).
Any number of
<A NAME="IDX5315"></A>
<CODE>argnames/1</CODE> declarations can appear in a file, one for each functor whose arguments are to be accessed by name. As with other packages, argument name declarations are <EM>local to the file</EM> in which they appear. The
<A NAME="IDX5316"></A>
<CODE>argnames/1</CODE> declarations affect only program text which appears after the declaration. It is easy to make a set of declarations affect several files for example by putting such declarations in a sepatate file which is included by all such files.
An
<A NAME="IDX5317"></A>
<CODE>argnames/1</CODE> declaration does not change in any way the internal representation of the associated terms and does not affect run-time efficiency. It is simply syntactic sugar.
</UL>
</DL>
<H2><A NAME="SEC411" HREF="ciao_toc.html#TOC411">Other information (<CODE>argnames</CODE>)</A></H2>
<P>
<P>
Two simple examples of the use of the argnames library package follow.
<UL>
<LI><A HREF="ciao_99.html#SEC412">Using argument names in a toy database</A>
<LI><A HREF="ciao_99.html#SEC413">Complete code for the zebra example</A>
</UL>
<H3><A NAME="SEC412" HREF="ciao_toc.html#TOC412">Using argument names in a toy database</A></H3>
<P>
<PRE>
:- module(simple_db,_,[argnames,assertions,regtypes]).
:- use_module(library(aggregates)).
:- comment(title,"A simple database application using argument names").
:- pred product/4 :: int * string * string * int.
:- argnames
product( id, description, brand, quantity ).
% ----------------------------------------------------------
product( 1, "Keyboard", "Logitech", 6 ).
product( 2, "Mouse", "Logitech", 5 ).
product( 3, "Monitor", "Philips", 3 ).
product( 4, "Laptop", "Dell", 4 ).
% Compute the stock of products from a given brand.
% Note call to findall is equivalent to: findall(Q,product(_,_,Brand,Q),L).
brand_stock(Brand,Stock) :-
findall(Q,product${brand=>Brand,quantity=>Q},L),
sumlist(L,Stock).
sumlist([],0).
sumlist([X|T],S) :-
sumlist(T,S1),
S is X + S1.
</PRE>
<H3><A NAME="SEC413" HREF="ciao_toc.html#TOC413">Complete code for the zebra example</A></H3>
<P>
<PRE>
:- module(_,zebra/3,[argnames]).
/* There are five consecutive houses, each of a different
color and inhabited by men of different nationalities. They each
own a different pet, have a different favorite drink, and drive a
different car.
1. The Englishman lives in the red house.
2. The Spaniard owns the dog.
3. Coffee is drunk in the green house.
4. The Ukrainian drinks tea.
5. The green house is immediately to the right of the ivory
house.
6. The Porsche driver owns snails.
7. The Masserati is driven by the man who lives in the yellow
house.
8. Milk is drunk in the middle house.
9. The Norwegian lives in the first house on the left.
10. The man who drives a Saab lives in the house next to the man
with the fox.
11. The Masserati is driven by the man in the house next to the
house where the horse is kept.
12. The Honda driver drinks orange juice.
13. The Japanese drives a Jaguar.
14. The Norwegian lives next to the blue house.
The problem is: Who owns the Zebra? Who drinks water?
*/
:- argnames house(color, nation, pet, drink, car).
zebra(Owns_zebra, Drinks_water, Street) :-
Street = [house${},house${},house${},house${},house${}],
member(house${nation => Owns_zebra, pet => zebra}, Street),
member(house${nation => Drinks_water, drink => water}, Street),
member(house${nation => englishman, color => red}, Street),
member(house${nation => spaniard, pet => dog}, Street),
member(house${drink => coffee, color => green}, Street),
member(house${nation => ukrainian, drink => tea}, Street),
left_right(house${color => ivory}, house${color => green}, Street),
member(house${car => porsche, pet => snails}, Street),
member(house${car => masserati, color => yellow}, Street),
Street = [_, _, house${drink => milk}, _, _],
Street = [house${nation => norwegian}|_],
next_to(house${car => saab}, house${pet => fox}, Street),
next_to(house${car => masserati}, house${pet => horse}, Street),
member(house${car => honda, drink => orange_juice}, Street),
member(house${nation => japanese, car => jaguar}, Street),
next_to(house${nation => norwegian}, house${color => blue}, Street).
member(X,[X|_]).
member(X,[_|Y]) :- member(X,Y).
left_right(L,R,[L,R|_]).
left_right(L,R,[_|T]) :- left_right(L,R,T).
next_to(X,Y,L) :- left_right(X,Y,L).
next_to(X,Y,L) :- left_right(Y,X,L).
</PRE>
<H2><A NAME="SEC414" HREF="ciao_toc.html#TOC414">Known bugs and planned improvements (<CODE>argnames</CODE>)</A></H2>
<UL>
<LI>
It would be nice to add a mechanism to portray terms with named arguments in a special (user definable) way.
</UL>
<P><HR><P>
Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_98.html">previous</A>, <A HREF="ciao_100.html">next</A>, <A HREF="ciao_241.html">last</A> section, <A HREF="ciao_toc.html">table of contents</A>.
</BODY>
</HTML>
