Changeset 4496 for trunk/examples
- Timestamp:
- 10/10/08 10:01:30 (3 months ago)
- Files:
-
- 1 modified
-
trunk/examples/roots/initialization.lgt (modified) (6 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/examples/roots/initialization.lgt
r4495 r4496 3 3 4 4 :- info([ 5 version is 1.1 ,5 version is 1.11, 6 6 author is 'Paulo Moura', 7 date is 2008/10/ 9,7 date is 2008/10/10, 8 8 comment is 'Object initialization protocol.']). 9 10 :- uses(list, [select/3]).11 9 12 10 :- public(init/1). … … 100 98 argnames is ['Options', 'Defaults', 'Result']]). 101 99 100 :- uses(list, [select/3]). 101 102 102 init(Options) :- 103 103 valid_init_options(Options), … … 111 111 valid_init_options([]). 112 112 valid_init_options([Option| Options]) :- 113 ::valid_init_option(Option) ,113 ::valid_init_option(Option) -> 114 114 valid_init_options(Options). 115 115 … … 118 118 process_init_options([]). 119 119 process_init_options([Option| Options]) :- 120 once(::process_init_option(Option)),120 ::process_init_option(Option) -> 121 121 process_init_options(Options). 122 122 … … 137 137 valid_free_options([]). 138 138 valid_free_options([Option| Options]) :- 139 ::valid_free_option(Option) ,139 ::valid_free_option(Option) -> 140 140 valid_free_options(Options). 141 141 … … 144 144 process_free_options([]). 145 145 process_free_options([Option| Options]) :- 146 once(::process_free_option(Option)),146 ::process_free_option(Option) -> 147 147 process_free_options(Options). 148 148
