ard_att_add('Attribute_name')
Creates an attribute with the specified name. In order to use an attribute, it must be previously defined with the help of this predicate.
ard_property_add(['Attribute_name'])
Creates the property containing one attribute called Attribute_name. This predicate is usually used on the first stage of designing for creation of the first, most general model of the system.
ard_finalize(property,[list_of_attributes])
Finalization allows for creation a more detailed description of the system. In practice, it replaces a property containing one conceptual attribute with other property containing a several attributes, which more precise describe the system than the conceptual one i.e.:
ard_finalize(['Time'],['Date', 'Hour', season, operation])
In this example the property containing the attribute Time is replaced with the property containing attributes Date, Hour, season and operation. These attributes more precise define the concept of Time. The finalization causes the following changes on a ARD diagram.
Before:
and after:
ard_split(complex_property, list_of_properties, list_of_dependencies_between_properties)
[[[att1], [att2]], [[att1], [att3]]]
defines the following dependencies:
[[[att1, att2], [att3]]]
defines the following dependencies:
[[[att1], [att2, att3]], [[att2,att3], [att4]]]
defines the following dependencies:
ard_split([att1, att2, att3], [[att1], [att2, at3]], [ [[att1], [att2, att3]], [[att2,att3], [att4]] ])
For the above example, the split operation in the form:
ard_split(['Date','Hour',season,operation], [['Date','Hour'],[season,operation]], [[['Date','Hour'],[season,operation]],[[season,operation],['Temperature']]]),
causes the following changes on a ARD diagram.
Before:
and after:
./varda filename.pl
varda_model_desc :- write('Cashpoint FirstName LastName'). varda_model_cashpoint :- % model definition :- varda_model_cashpoint.
Z braku lepszego miejsca tutaj studenci wpisują komentarze natury ogólnej do tego lab.