Changeset 4541 for trunk/examples
- Timestamp:
- 10/28/08 04:36:35 (2 months ago)
- Location:
- trunk/examples
- Files:
-
- 22 modified
-
birds/descriptors.lgt (modified) (1 diff)
-
birds/expert.lgt (modified) (1 diff)
-
birds/NOTES.txt (modified) (1 diff)
-
complements/NOTES.txt (modified) (1 diff)
-
dcgs/NOTES.txt (modified) (1 diff)
-
lo/NOTES.txt (modified) (1 diff)
-
lo/planner/planner.lgt (modified) (1 diff)
-
lo/travellers/salesman.lgt (modified) (6 diffs)
-
lo/travellers/sorting.lgt (modified) (5 diffs)
-
lo/travellers/towns.lgt (modified) (1 diff)
-
lpa/faults/faults.lgt (modified) (1 diff)
-
metapredicates/metapredicates.lgt (modified) (2 diffs)
-
NOTES.txt (modified) (7 diffs)
-
poem/poem.lgt (modified) (4 diffs)
-
points/NOTES.txt (modified) (1 diff)
-
points/points.lgt (modified) (6 diffs)
-
searching/best_first1.lgt (modified) (1 diff)
-
searching/breadth_first1.lgt (modified) (1 diff)
-
sicstus/NOTES.txt (modified) (1 diff)
-
sicstus/ovals.lgt (modified) (4 diffs)
-
sicstus/sorting.lgt (modified) (1 diff)
-
viewpoints/NOTES.txt (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/examples/birds/descriptors.lgt
r365 r4541 8 8 date is 2000/2/18, 9 9 comment is 'Bird descriptors predicates.', 10 source is 'Example ad opted from an Amzi! Inc Prolog book.']).10 source is 'Example adapted from an Amzi! Inc Prolog book.']). 11 11 12 12 -
trunk/examples/birds/expert.lgt
r2111 r4541 9 9 date is 2005/3/6, 10 10 comment is 'Expert system for bird identification.', 11 source is 'Example ad opted from an Amzi! Inc Prolog book.']).11 source is 'Example adapted from an Amzi! Inc Prolog book.']). 12 12 13 13 -
trunk/examples/birds/NOTES.txt
r4507 r4541 13 13 14 14 This folder contains an example of a bird identification expert system 15 ad opted with permission from the book "Adventure in Prolog" by Amzi! inc.15 adapted with permission from the book "Adventure in Prolog" by Amzi! inc. 16 16 The book is available on-line in HTML format at the URL: 17 17 -
trunk/examples/complements/NOTES.txt
r4526 r4541 17 17 18 18 The complemented objects need to be compiled with the flag "complements" 19 switched on. This is a less than ideal solution that was ad opted in order19 switched on. This is a less than ideal solution that was adapted in order 20 20 to both improve performance of code that doesn't use complementing categories 21 21 and to provide a solution for preventing the use of complementing categories -
trunk/examples/dcgs/NOTES.txt
r4507 r4541 47 47 directives to declare grammar rule non-terminals 48 48 49 This folder contains an example ("tokenizer") ad opted with permission from49 This folder contains an example ("tokenizer") adapted with permission from 50 50 a Michael A. Covington example (http://www.ai.uga.edu/~mc/). See the file 51 51 "tokenizer.lgt" for more details. 52 52 53 This folder contains two examples of DCGs ("bom" and "faa") ad opted with53 This folder contains two examples of DCGs ("bom" and "faa") adapted with 54 54 permission from the Amzi! Prolog documentation. The documentation is 55 55 available on-line in HTML format at the URL: -
trunk/examples/lo/NOTES.txt
r4507 r4541 10 10 11 11 12 The examples in this folder are ad opted from the Logic&Objects system12 The examples in this folder are adapted from the Logic&Objects system 13 13 by Francis G. McCabe. Detailed descriptions and the original source 14 14 code can be found on the McCabe's "Logic and Objects" book, published -
trunk/examples/lo/planner/planner.lgt
r2374 r4541 10 10 comment is 'Air-line trip planner.', 11 11 parnames is ['Mode'], 12 source is 'Example ad opted from the Francis G. McCabe L&O documentation.']).12 source is 'Example adapted from the Francis G. McCabe L&O documentation.']). 13 13 14 14 :- public(from/3). -
trunk/examples/lo/travellers/salesman.lgt
r2376 r4541 7 7 date is 2000/4/22, 8 8 comment is '.', 9 source is 'Example ad opted from the Francis G. McCabe L&O documentation.']).9 source is 'Example adapted from the Francis G. McCabe L&O documentation.']). 10 10 11 11 :- public(route/2). … … 24 24 date is 2000/4/22, 25 25 comment is '.', 26 source is 'Example ad opted from the Francis G. McCabe L&O documentation.']).26 source is 'Example adapted from the Francis G. McCabe L&O documentation.']). 27 27 28 28 route([Town| Towns], Route) :- … … 82 82 date is 2000/4/22, 83 83 comment is '.', 84 source is 'Example ad opted from the Francis G. McCabe L&O documentation.']).84 source is 'Example adapted from the Francis G. McCabe L&O documentation.']). 85 85 86 86 route([Town| Towns], Route) :- … … 155 155 date is 2000/4/22, 156 156 comment is '.', 157 source is 'Example ad opted from the Francis G. McCabe L&O documentation.']).157 source is 'Example adapted from the Francis G. McCabe L&O documentation.']). 158 158 159 159 :- uses(quick(_)). … … 192 192 date is 2000/4/22, 193 193 comment is '.', 194 source is 'Example ad opted from the Francis G. McCabe L&O documentation.']).194 source is 'Example adapted from the Francis G. McCabe L&O documentation.']). 195 195 196 196 route(Towns, Route) :- … … 233 233 date is 2000/4/22, 234 234 comment is '.', 235 source is 'Example ad opted from the Francis G. McCabe L&O documentation.']).235 source is 'Example adapted from the Francis G. McCabe L&O documentation.']). 236 236 237 237 route(Towns, Route) :- -
trunk/examples/lo/travellers/sorting.lgt
r2376 r4541 8 8 parnames is ['Order'], 9 9 comment is '.', 10 source is 'Example ad opted from the Francis G. McCabe L&O documentation.']).10 source is 'Example adapted from the Francis G. McCabe L&O documentation.']). 11 11 12 12 :- public(sort/2). … … 44 44 date is 2000/4/22, 45 45 comment is '.', 46 source is 'Example ad opted from the Francis G. McCabe L&O documentation.']).46 source is 'Example adapted from the Francis G. McCabe L&O documentation.']). 47 47 48 48 :- public(less/2). … … 61 61 date is 2000/4/22, 62 62 comment is '.', 63 source is 'Example ad opted from the Francis G. McCabe L&O documentation.']).63 source is 'Example adapted from the Francis G. McCabe L&O documentation.']). 64 64 65 65 :- public(less/2). … … 79 79 parnames is ['OX', 'OY'], 80 80 comment is '.', 81 source is 'Example ad opted from the Francis G. McCabe L&O documentation.']).81 source is 'Example adapted from the Francis G. McCabe L&O documentation.']). 82 82 83 83 :- public(less/2). … … 141 141 comment is '.', 142 142 parnames is ['Town'], 143 source is 'Example ad opted from the Francis G. McCabe L&O documentation.']).143 source is 'Example adapted from the Francis G. McCabe L&O documentation.']). 144 144 145 145 :- public(less/2). -
trunk/examples/lo/travellers/towns.lgt
r2376 r4541 8 8 parnames is ['X', 'Y'], 9 9 comment is '.', 10 source is 'Example ad opted from the Francis G. McCabe L&O documentation.']).10 source is 'Example adapted from the Francis G. McCabe L&O documentation.']). 11 11 12 12 :- public(at/2). -
trunk/examples/lpa/faults/faults.lgt
r2373 r4541 8 8 date is 2000/4/22, 9 9 comment is 'Expert system for automobile fault diagnosis.', 10 source is 'Example ad opted from the LPA Prolog++ documentation.']).10 source is 'Example adapted from the LPA Prolog++ documentation.']). 11 11 12 12 :- public(findall/0). -
trunk/examples/metapredicates/metapredicates.lgt
r3013 r4541 1 1 2 % example ad opted from:2 % example adapted from: 3 3 % Programming Language Prolog Part 2, Modules 4 4 % Committee Draft - January 14, 1998 X3J17/97/5 … … 31 31 32 32 33 % sort code ad opted from an example on the SICStus Prolog User Manual33 % sort code adapted from an example on the SICStus Prolog User Manual 34 34 % meta-predicate example taken from Prolog Part 2, Modules - Committee Draft 35 35 -
trunk/examples/NOTES.txt
r4507 r4541 26 26 You may want to restart Logtalk after trying each example. 27 27 28 Some of the examples have been ad opted from public available Prolog code28 Some of the examples have been adapted from public available Prolog code 29 29 or from known Prolog text books and are copyrighted by the respective 30 30 authors. … … 65 65 birds 66 66 bird identification expert system 67 (example ad opted from the Adventure in Prolog Amzi! book)67 (example adapted from the Adventure in Prolog Amzi! book) 68 68 69 69 bottles … … 137 137 138 138 lo 139 examples ad opted from the Francis G. McCabe L&O system139 examples adapted from the Francis G. McCabe L&O system 140 140 141 141 logging … … 148 148 149 149 lpa 150 examples ad opted from the LPA Prolog++ system150 examples adapted from the LPA Prolog++ system 151 151 152 152 metapredicates … … 180 180 181 181 poem 182 examples ad opted from the Ben Staveley-Taylor POEM system182 examples adapted from the Ben Staveley-Taylor POEM system 183 183 184 184 points 185 example ad opted from SICStus Objects documentation; defines185 example adapted from SICStus Objects documentation; defines 186 186 a simple class hierarchy of points illustrating how to use 187 187 categories as object components … … 215 215 searching 216 216 state-space searching framework 217 (example ad opted from Ivan Bratko's "Prolog Programming for217 (example adapted from Ivan Bratko's "Prolog Programming for 218 218 Artificial Intelligence" book) 219 219 … … 223 223 224 224 sicstus 225 examples ad opted from SICStus Objects documentation225 examples adapted from SICStus Objects documentation 226 226 227 227 symdiff -
trunk/examples/poem/poem.lgt
r2379 r4541 11 11 comment is 'Parametric object for representing geometric points.', 12 12 parnames is ['X', 'Y'], 13 source is 'Example ad opted from the POEM system by Ben Staveley-Taylor.']).13 source is 'Example adapted from the POEM system by Ben Staveley-Taylor.']). 14 14 15 15 :- public(identical/1). … … 48 48 comment is 'Parametric object for representing geometric lines.', 49 49 parnames is ['Point1', 'Point2'], 50 source is 'Example ad opted from the POEM system by Ben Staveley-Taylor.']).50 source is 'Example adapted from the POEM system by Ben Staveley-Taylor.']). 51 51 52 52 :- public(length/1). … … 131 131 comment is 'Parametric object for representing geometric ellipses.', 132 132 parnames is ['Center', 'Rx', 'Ry'], 133 source is 'Example ad opted from the POEM system by Ben Staveley-Taylor.']).133 source is 'Example adapted from the POEM system by Ben Staveley-Taylor.']). 134 134 135 135 :- public(area/1). … … 162 162 comment is 'Parametric object for representing geometric circles.', 163 163 parnames is ['Center', 'Radius'], 164 source is 'Example ad opted from the POEM system by Ben Staveley-Taylor.']).164 source is 'Example adapted from the POEM system by Ben Staveley-Taylor.']). 165 165 166 166 :- public(circumference/1). -
trunk/examples/points/NOTES.txt
r4507 r4541 42 42 build its own versions of methods move/2 and print/0, adding to the 43 43 inherited definitions of one of the superclasses the calling of the 44 operation missing in the other superclass. This is the solution ad opted44 operation missing in the other superclass. This is the solution adapted 45 45 in the SICStus Objects. However, this solution also implies a few 46 46 problems. Let's suppose that method move/2 is inherited from class -
trunk/examples/points/points.lgt
r2271 r4541 10 10 author is 'Paulo Moura', 11 11 comment is 'Two dimensional point class.', 12 source is 'Example ad opted from the SICStus Objects documentation.']).12 source is 'Example adapted from the SICStus Objects documentation.']). 13 13 14 14 … … 68 68 author is 'Paulo Moura', 69 69 comment is 'Point coordinate bounds management predicates.', 70 source is 'Example ad opted from the SICStus Objects documentation.']).70 source is 'Example adapted from the SICStus Objects documentation.']). 71 71 72 72 … … 144 144 author is 'Paulo Moura', 145 145 comment is 'Two dimensional point moving in a constrained area.', 146 source is 'Example ad opted from the SICStus Objects documentation.']).146 source is 'Example adapted from the SICStus Objects documentation.']). 147 147 148 148 … … 190 190 author is 'Paulo Moura', 191 191 comment is 'Point position history management predicates.', 192 source is 'Example ad opted from the SICStus Objects documentation.']).192 source is 'Example adapted from the SICStus Objects documentation.']). 193 193 194 194 … … 247 247 author is 'Paulo Moura', 248 248 comment is 'Two dimensional point remembering past positions.', 249 source is 'Example ad opted from the SICStus Objects documentation.']).249 source is 'Example adapted from the SICStus Objects documentation.']). 250 250 251 251 … … 293 293 author is 'Paulo Moura', 294 294 comment is 'Two dimensional point moving in a constrained area and remembering past point positions.', 295 source is 'Example ad opted from the SICStus Objects documentation.']).295 source is 'Example adapted from the SICStus Objects documentation.']). 296 296 297 297 -
trunk/examples/searching/best_first1.lgt
r4307 r4541 9 9 date is 2008/6/9, 10 10 comment is 'Best first heuristic state space search strategy.', 11 source is 'Example ad opted from the book "Prolog Programming for Artificial Intelligence" by Ivan Bratko.',11 source is 'Example adapted from the book "Prolog Programming for Artificial Intelligence" by Ivan Bratko.', 12 12 parnames is ['Threshold']]). 13 13 -
trunk/examples/searching/breadth_first1.lgt
r4307 r4541 9 9 date is 2008/6/9, 10 10 comment is 'Breadth first state space search strategy.', 11 source is 'Example ad opted from the book "Prolog Programming for Artificial Intelligence" by Ivan Bratko.',11 source is 'Example adapted from the book "Prolog Programming for Artificial Intelligence" by Ivan Bratko.', 12 12 parnames is ['Bound']]). 13 13 -
trunk/examples/sicstus/NOTES.txt
r4507 r4541 10 10 11 11 12 The examples in this folder are ad opted from the SICStus Prolog manual.12 The examples in this folder are adapted from the SICStus Prolog manual. 13 13 14 14 To load this example and for sample queries, please see the SCRIPT.txt file. -
trunk/examples/sicstus/ovals.lgt
r2322 r4541 32 32 comment is 'Parametric object for representing geometric ellipses.', 33 33 parnames is ['RX', 'RY', 'Color'], 34 source is 'Example ad opted from the SICStus Objects documentation.']).34 source is 'Example adapted from the SICStus Objects documentation.']). 35 35 36 36 :- uses(math_constants). … … 98 98 comment is 'Parametric object for representing geometric circles.', 99 99 parnames is ['Radius', 'Color'], 100 source is 'Example ad opted from the SICStus Objects documentation.']).100 source is 'Example adapted from the SICStus Objects documentation.']). 101 101 102 102 :- public(r/1). … … 137 137 comment is 'Parametric object for representing geometric circles with radius = 1.', 138 138 parnames is ['Color'], 139 source is 'Example ad opted from the SICStus Objects documentation.']).139 source is 'Example adapted from the SICStus Objects documentation.']). 140 140 141 141 context :- … … 158 158 comment is 'Parametric object for representing geometric red circles.', 159 159 parnames is ['Radius'], 160 source is 'Example ad opted from the SICStus Objects documentation.']).160 source is 'Example adapted from the SICStus Objects documentation.']). 161 161 162 162 context :- -
trunk/examples/sicstus/sorting.lgt
r3895 r4541 8 8 comment is 'List sorting parameterized by the type of the list elements.', 9 9 parnames is ['Type'], 10 source is 'Example ad opted from the SICStus Objects documentation.']).10 source is 'Example adapted from the SICStus Objects documentation.']). 11 11 12 12 :- uses(list). -
trunk/examples/viewpoints/NOTES.txt
r4507 r4541 12 12 To load this example and for sample queries, please see the SCRIPT.txt file. 13 13 14 Example ad opted from the chapter "Classifying Prototype-Based Programming14 Example adapted from the chapter "Classifying Prototype-Based Programming 15 15 Languages" by Christophe Dony, Jacques Malenfant, and Daniel Bardou, found 16 16 on the book "Prototype-Based Programming - Concepts, Languages, and
