From 6d079626af943f698237bae974cbf526af06d2b5 Mon Sep 17 00:00:00 2001 From: pmoura Date: Sat, 24 Dec 2005 18:34:29 +0000 Subject: [PATCH] Logtalk 2.26.2 files. git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1489 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- Logtalk/examples/errors/lgtredef.lgt | 6 -- Logtalk/examples/errors/misspell.lgt | 8 -- Logtalk/examples/errors/plredef.lgt | 7 -- Logtalk/examples/errors/portability.lgt | 15 --- Logtalk/examples/errors/singletons1.lgt | 8 -- Logtalk/examples/errors/unknownrefs.lgt | 9 -- Logtalk/examples/lo/planner/aberdeen_air.lgt | 9 -- Logtalk/examples/lo/planner/aiai.lgt | 6 -- Logtalk/examples/lo/planner/airport.lgt | 16 ---- Logtalk/examples/lo/planner/albert_hall.lgt | 6 -- Logtalk/examples/lo/planner/castle.lgt | 6 -- Logtalk/examples/lo/planner/city.lgt | 30 ------ Logtalk/examples/lo/planner/edin.lgt | 6 -- Logtalk/examples/lo/planner/edinburgh.lgt | 9 -- Logtalk/examples/lo/planner/fly.lgt | 13 --- Logtalk/examples/lo/planner/glasgow.lgt | 9 -- Logtalk/examples/lo/planner/imperial.lgt | 6 -- Logtalk/examples/lo/planner/lhr.lgt | 10 -- Logtalk/examples/lo/planner/london.lgt | 9 -- Logtalk/examples/lo/planner/manchester.lgt | 9 -- Logtalk/examples/lo/planner/plan1.lgt | 46 ---------- Logtalk/examples/lo/planner/renfrew.lgt | 10 -- Logtalk/examples/lo/planner/ringway.lgt | 10 -- Logtalk/examples/lo/planner/victoria.lgt | 6 -- Logtalk/examples/lo/travellers/aberdeen.lgt | 11 --- .../examples/lo/travellers/aberystwyth.lgt | 12 --- Logtalk/examples/lo/travellers/birmingham.lgt | 16 ---- Logtalk/examples/lo/travellers/brighton.lgt | 12 --- Logtalk/examples/lo/travellers/bristol.lgt | 13 --- Logtalk/examples/lo/travellers/cambridge.lgt | 13 --- Logtalk/examples/lo/travellers/cardiff.lgt | 11 --- Logtalk/examples/lo/travellers/carlisle.lgt | 12 --- Logtalk/examples/lo/travellers/circular.lgt | 72 --------------- Logtalk/examples/lo/travellers/descend.lgt | 20 ---- Logtalk/examples/lo/travellers/dover.lgt | 11 --- Logtalk/examples/lo/travellers/driving.lgt | 52 ----------- Logtalk/examples/lo/travellers/edinburgh.lgt | 12 --- Logtalk/examples/lo/travellers/exeter.lgt | 12 --- .../examples/lo/travellers/geographic2.lgt | 68 -------------- Logtalk/examples/lo/travellers/glasgow.lgt | 12 --- Logtalk/examples/lo/travellers/hull.lgt | 12 --- .../examples/lo/travellers/incremental.lgt | 91 ------------------ Logtalk/examples/lo/travellers/leeds.lgt | 14 --- Logtalk/examples/lo/travellers/liverpool.lgt | 13 --- Logtalk/examples/lo/travellers/location2.lgt | 83 ----------------- Logtalk/examples/lo/travellers/london.lgt | 14 --- Logtalk/examples/lo/travellers/manchester.lgt | 12 --- Logtalk/examples/lo/travellers/metric1.lgt | 24 ----- Logtalk/examples/lo/travellers/natural.lgt | 20 ---- Logtalk/examples/lo/travellers/newcastle.lgt | 12 --- Logtalk/examples/lo/travellers/nottingham.lgt | 12 --- Logtalk/examples/lo/travellers/oxford.lgt | 13 --- Logtalk/examples/lo/travellers/penzance.lgt | 10 -- Logtalk/examples/lo/travellers/permute.lgt | 65 ------------- Logtalk/examples/lo/travellers/portsmouth.lgt | 12 --- Logtalk/examples/lo/travellers/presort.lgt | 43 --------- Logtalk/examples/lo/travellers/quick1.lgt | 45 --------- Logtalk/examples/lo/travellers/sheffield.lgt | 15 --- Logtalk/examples/lo/travellers/swansea.lgt | 11 --- Logtalk/examples/lo/travellers/york.lgt | 12 --- Logtalk/examples/poem/circle2.lgt | 33 ------- Logtalk/examples/poem/ellipse3.lgt | 30 ------ Logtalk/examples/poem/line2.lgt | 92 ------------------- Logtalk/examples/poem/point2.lgt | 39 -------- Logtalk/examples/shapes/ch/polygon.lgt | 40 -------- Logtalk/examples/shapes/ch/q1.lgt | 4 - Logtalk/examples/shapes/ch/q2.lgt | 14 --- .../examples/shapes/ch/regular_polygon.lgt | 32 ------- Logtalk/examples/shapes/ch/shape.lgt | 37 -------- Logtalk/examples/shapes/ch/square.lgt | 21 ----- Logtalk/examples/shapes/ph/polygon.lgt | 39 -------- Logtalk/examples/shapes/ph/q1.lgt | 5 - Logtalk/examples/shapes/ph/q2.lgt | 14 --- .../examples/shapes/ph/regular_polygon.lgt | 31 ------- Logtalk/examples/shapes/ph/shape.lgt | 35 ------- Logtalk/examples/shapes/ph/square.lgt | 21 ----- 76 files changed, 1648 deletions(-) delete mode 100644 Logtalk/examples/errors/lgtredef.lgt delete mode 100644 Logtalk/examples/errors/misspell.lgt delete mode 100644 Logtalk/examples/errors/plredef.lgt delete mode 100644 Logtalk/examples/errors/portability.lgt delete mode 100644 Logtalk/examples/errors/singletons1.lgt delete mode 100644 Logtalk/examples/errors/unknownrefs.lgt delete mode 100644 Logtalk/examples/lo/planner/aberdeen_air.lgt delete mode 100644 Logtalk/examples/lo/planner/aiai.lgt delete mode 100644 Logtalk/examples/lo/planner/airport.lgt delete mode 100644 Logtalk/examples/lo/planner/albert_hall.lgt delete mode 100644 Logtalk/examples/lo/planner/castle.lgt delete mode 100644 Logtalk/examples/lo/planner/city.lgt delete mode 100644 Logtalk/examples/lo/planner/edin.lgt delete mode 100644 Logtalk/examples/lo/planner/edinburgh.lgt delete mode 100644 Logtalk/examples/lo/planner/fly.lgt delete mode 100644 Logtalk/examples/lo/planner/glasgow.lgt delete mode 100644 Logtalk/examples/lo/planner/imperial.lgt delete mode 100644 Logtalk/examples/lo/planner/lhr.lgt delete mode 100644 Logtalk/examples/lo/planner/london.lgt delete mode 100644 Logtalk/examples/lo/planner/manchester.lgt delete mode 100644 Logtalk/examples/lo/planner/plan1.lgt delete mode 100644 Logtalk/examples/lo/planner/renfrew.lgt delete mode 100644 Logtalk/examples/lo/planner/ringway.lgt delete mode 100644 Logtalk/examples/lo/planner/victoria.lgt delete mode 100644 Logtalk/examples/lo/travellers/aberdeen.lgt delete mode 100644 Logtalk/examples/lo/travellers/aberystwyth.lgt delete mode 100644 Logtalk/examples/lo/travellers/birmingham.lgt delete mode 100644 Logtalk/examples/lo/travellers/brighton.lgt delete mode 100644 Logtalk/examples/lo/travellers/bristol.lgt delete mode 100644 Logtalk/examples/lo/travellers/cambridge.lgt delete mode 100644 Logtalk/examples/lo/travellers/cardiff.lgt delete mode 100644 Logtalk/examples/lo/travellers/carlisle.lgt delete mode 100644 Logtalk/examples/lo/travellers/circular.lgt delete mode 100644 Logtalk/examples/lo/travellers/descend.lgt delete mode 100644 Logtalk/examples/lo/travellers/dover.lgt delete mode 100644 Logtalk/examples/lo/travellers/driving.lgt delete mode 100644 Logtalk/examples/lo/travellers/edinburgh.lgt delete mode 100644 Logtalk/examples/lo/travellers/exeter.lgt delete mode 100644 Logtalk/examples/lo/travellers/geographic2.lgt delete mode 100644 Logtalk/examples/lo/travellers/glasgow.lgt delete mode 100644 Logtalk/examples/lo/travellers/hull.lgt delete mode 100644 Logtalk/examples/lo/travellers/incremental.lgt delete mode 100644 Logtalk/examples/lo/travellers/leeds.lgt delete mode 100644 Logtalk/examples/lo/travellers/liverpool.lgt delete mode 100644 Logtalk/examples/lo/travellers/location2.lgt delete mode 100644 Logtalk/examples/lo/travellers/london.lgt delete mode 100644 Logtalk/examples/lo/travellers/manchester.lgt delete mode 100644 Logtalk/examples/lo/travellers/metric1.lgt delete mode 100644 Logtalk/examples/lo/travellers/natural.lgt delete mode 100644 Logtalk/examples/lo/travellers/newcastle.lgt delete mode 100644 Logtalk/examples/lo/travellers/nottingham.lgt delete mode 100644 Logtalk/examples/lo/travellers/oxford.lgt delete mode 100644 Logtalk/examples/lo/travellers/penzance.lgt delete mode 100644 Logtalk/examples/lo/travellers/permute.lgt delete mode 100644 Logtalk/examples/lo/travellers/portsmouth.lgt delete mode 100644 Logtalk/examples/lo/travellers/presort.lgt delete mode 100644 Logtalk/examples/lo/travellers/quick1.lgt delete mode 100644 Logtalk/examples/lo/travellers/sheffield.lgt delete mode 100644 Logtalk/examples/lo/travellers/swansea.lgt delete mode 100644 Logtalk/examples/lo/travellers/york.lgt delete mode 100644 Logtalk/examples/poem/circle2.lgt delete mode 100644 Logtalk/examples/poem/ellipse3.lgt delete mode 100644 Logtalk/examples/poem/line2.lgt delete mode 100644 Logtalk/examples/poem/point2.lgt delete mode 100644 Logtalk/examples/shapes/ch/polygon.lgt delete mode 100644 Logtalk/examples/shapes/ch/q1.lgt delete mode 100644 Logtalk/examples/shapes/ch/q2.lgt delete mode 100644 Logtalk/examples/shapes/ch/regular_polygon.lgt delete mode 100644 Logtalk/examples/shapes/ch/shape.lgt delete mode 100644 Logtalk/examples/shapes/ch/square.lgt delete mode 100644 Logtalk/examples/shapes/ph/polygon.lgt delete mode 100644 Logtalk/examples/shapes/ph/q1.lgt delete mode 100644 Logtalk/examples/shapes/ph/q2.lgt delete mode 100644 Logtalk/examples/shapes/ph/regular_polygon.lgt delete mode 100644 Logtalk/examples/shapes/ph/shape.lgt delete mode 100644 Logtalk/examples/shapes/ph/square.lgt diff --git a/Logtalk/examples/errors/lgtredef.lgt b/Logtalk/examples/errors/lgtredef.lgt deleted file mode 100644 index b6166daed..000000000 --- a/Logtalk/examples/errors/lgtredef.lgt +++ /dev/null @@ -1,6 +0,0 @@ - -:- object(lgtredef). - - current_object(_). - -:- end_object. diff --git a/Logtalk/examples/errors/misspell.lgt b/Logtalk/examples/errors/misspell.lgt deleted file mode 100644 index 9358e0149..000000000 --- a/Logtalk/examples/errors/misspell.lgt +++ /dev/null @@ -1,8 +0,0 @@ - -:- object(misspell). - - output(A) :- - writr(A). - -:- end_object. - diff --git a/Logtalk/examples/errors/plredef.lgt b/Logtalk/examples/errors/plredef.lgt deleted file mode 100644 index 15fc3090a..000000000 --- a/Logtalk/examples/errors/plredef.lgt +++ /dev/null @@ -1,7 +0,0 @@ - -:- object(plredef). - - write(_). - -:- end_object. - diff --git a/Logtalk/examples/errors/portability.lgt b/Logtalk/examples/errors/portability.lgt deleted file mode 100644 index 97ee5f7ea..000000000 --- a/Logtalk/examples/errors/portability.lgt +++ /dev/null @@ -1,15 +0,0 @@ - -:- object(portability). - - - :- public(predicate/0). - - - predicate :- - compare(Result, first, second), - retractall(result(Result, _)), - sort([], []), - consult(file). - - -:- end_object. diff --git a/Logtalk/examples/errors/singletons1.lgt b/Logtalk/examples/errors/singletons1.lgt deleted file mode 100644 index 17df2d5a0..000000000 --- a/Logtalk/examples/errors/singletons1.lgt +++ /dev/null @@ -1,8 +0,0 @@ - -:- object(singletons(L)). - - predicate(A) :- - write(C). - -:- end_object. - diff --git a/Logtalk/examples/errors/unknownrefs.lgt b/Logtalk/examples/errors/unknownrefs.lgt deleted file mode 100644 index 6271a136a..000000000 --- a/Logtalk/examples/errors/unknownrefs.lgt +++ /dev/null @@ -1,9 +0,0 @@ - -:- object(unknownrefs, - implements(protocol), - imports(category), - extends(object)). - - -:- end_object. - diff --git a/Logtalk/examples/lo/planner/aberdeen_air.lgt b/Logtalk/examples/lo/planner/aberdeen_air.lgt deleted file mode 100644 index c304bf5d7..000000000 --- a/Logtalk/examples/lo/planner/aberdeen_air.lgt +++ /dev/null @@ -1,9 +0,0 @@ - -:- object(aberdeen_air, - extends(airport)). - - - fly(renfrew). - - -:- end_object. diff --git a/Logtalk/examples/lo/planner/aiai.lgt b/Logtalk/examples/lo/planner/aiai.lgt deleted file mode 100644 index 63faf1325..000000000 --- a/Logtalk/examples/lo/planner/aiai.lgt +++ /dev/null @@ -1,6 +0,0 @@ - -:- object(aiai, - extends(edinburgh)). - - -:- end_object. diff --git a/Logtalk/examples/lo/planner/airport.lgt b/Logtalk/examples/lo/planner/airport.lgt deleted file mode 100644 index 4b2f11752..000000000 --- a/Logtalk/examples/lo/planner/airport.lgt +++ /dev/null @@ -1,16 +0,0 @@ - -:- object(airport). - - - :- public(fly/1). - :- mode(fly(?), zero_or_more). - - :- public(airport/1). - :- mode(airport(?), zero_or_more). - - - airport(Airport) :- - self(Airport). - - -:- end_object. diff --git a/Logtalk/examples/lo/planner/albert_hall.lgt b/Logtalk/examples/lo/planner/albert_hall.lgt deleted file mode 100644 index 2b888fc0a..000000000 --- a/Logtalk/examples/lo/planner/albert_hall.lgt +++ /dev/null @@ -1,6 +0,0 @@ - -:- object(albert_hall, - extends(london)). - - -:- end_object. diff --git a/Logtalk/examples/lo/planner/castle.lgt b/Logtalk/examples/lo/planner/castle.lgt deleted file mode 100644 index 6227838e1..000000000 --- a/Logtalk/examples/lo/planner/castle.lgt +++ /dev/null @@ -1,6 +0,0 @@ - -:- object(castle, - extends(edinburgh)). - - -:- end_object. diff --git a/Logtalk/examples/lo/planner/city.lgt b/Logtalk/examples/lo/planner/city.lgt deleted file mode 100644 index 9c3c7b30f..000000000 --- a/Logtalk/examples/lo/planner/city.lgt +++ /dev/null @@ -1,30 +0,0 @@ - -:- object(city). - - - :- public(step/3). - :- mode(step(+, +, -), zero_or_more). - - :- public(airport/1). - :- mode(airport(?atom), zero_or_more). - - - step(X, Y, P1-P-P2) :- - \+ same_city(X, Y), !, - X::airport(XA), - Y::airport(YA), - plan(fly)::from(XA, YA, P), - plan(city)::from(X, XA, P1), - plan(city)::from(YA, Y, P2). - - step(X, Y, taxi(X, Y)) :- - same_city(X, Y), - X \= Y. - - - same_city(X, Y) :- - X::airport(A), - Y::airport(A). - - -:- end_object. diff --git a/Logtalk/examples/lo/planner/edin.lgt b/Logtalk/examples/lo/planner/edin.lgt deleted file mode 100644 index 37ad7aa7b..000000000 --- a/Logtalk/examples/lo/planner/edin.lgt +++ /dev/null @@ -1,6 +0,0 @@ - -:- object(edin, - extends(edinburgh)). - - -:- end_object. diff --git a/Logtalk/examples/lo/planner/edinburgh.lgt b/Logtalk/examples/lo/planner/edinburgh.lgt deleted file mode 100644 index 56b8fc8c9..000000000 --- a/Logtalk/examples/lo/planner/edinburgh.lgt +++ /dev/null @@ -1,9 +0,0 @@ - -:- object(edinburgh, - extends(city)). - - - airport(edin). - - -:- end_object. diff --git a/Logtalk/examples/lo/planner/fly.lgt b/Logtalk/examples/lo/planner/fly.lgt deleted file mode 100644 index e672a89b6..000000000 --- a/Logtalk/examples/lo/planner/fly.lgt +++ /dev/null @@ -1,13 +0,0 @@ - -:- object(fly). - - - :- public(step/3). - :- mode(step(+, +, -), zero_or_more). - - - step(From, To, fly(From, To)) :- - From::fly(To). - - -:- end_object. diff --git a/Logtalk/examples/lo/planner/glasgow.lgt b/Logtalk/examples/lo/planner/glasgow.lgt deleted file mode 100644 index b931e75d2..000000000 --- a/Logtalk/examples/lo/planner/glasgow.lgt +++ /dev/null @@ -1,9 +0,0 @@ - -:- object(glasgow, - extends(city)). - - - airport(renfrew). - - -:- end_object. diff --git a/Logtalk/examples/lo/planner/imperial.lgt b/Logtalk/examples/lo/planner/imperial.lgt deleted file mode 100644 index 09b762aa6..000000000 --- a/Logtalk/examples/lo/planner/imperial.lgt +++ /dev/null @@ -1,6 +0,0 @@ - -:- object(imperial, - extends(london)). - - -:- end_object. diff --git a/Logtalk/examples/lo/planner/lhr.lgt b/Logtalk/examples/lo/planner/lhr.lgt deleted file mode 100644 index 37b81c7bc..000000000 --- a/Logtalk/examples/lo/planner/lhr.lgt +++ /dev/null @@ -1,10 +0,0 @@ - -:- object(lhr, - extends(airport)). - - - fly(edin). - fly(ringway). - - -:- end_object. diff --git a/Logtalk/examples/lo/planner/london.lgt b/Logtalk/examples/lo/planner/london.lgt deleted file mode 100644 index 60d7d7fb1..000000000 --- a/Logtalk/examples/lo/planner/london.lgt +++ /dev/null @@ -1,9 +0,0 @@ - -:- object(london, - extends(city)). - - - airport(lhr). - - -:- end_object. diff --git a/Logtalk/examples/lo/planner/manchester.lgt b/Logtalk/examples/lo/planner/manchester.lgt deleted file mode 100644 index 9ea8d620c..000000000 --- a/Logtalk/examples/lo/planner/manchester.lgt +++ /dev/null @@ -1,9 +0,0 @@ - -:- object(manchester, - extends(city)). - - - airport(ringway). - - -:- end_object. diff --git a/Logtalk/examples/lo/planner/plan1.lgt b/Logtalk/examples/lo/planner/plan1.lgt deleted file mode 100644 index 3b48cfdcd..000000000 --- a/Logtalk/examples/lo/planner/plan1.lgt +++ /dev/null @@ -1,46 +0,0 @@ - -:- object(plan(_)). - - - :- info([ - author is 'Paulo Moura', - version is 1.0, - date is 2000/4/22, - comment is 'Air-line trip planner.', - parnames is ['Mode'], - source is 'Example adopted from the Francis G. McCabe L&O documentation.']). - - - :- public(from/3). - - :- mode(from(+atom, +atom, -list), zero_or_more). - - :- info(from/3, - [comment is 'Plan a trip from Start to Destination.', - argnames is ['Start', 'Destination', 'Plan']]). - - - from(Start, Destination, Plan) :- - from(Start, Destination, [], Plan). - - - from(Start, Destination, _, [Step]) :- - parameter(1, Mode), - Mode::step(Start, Destination, Step), - !. - - from(Start, Destination, Locations, [Step| Steps]) :- - parameter(1, Mode), - Mode::step(Start, City2, Step), - not_member(City2, Locations), - from(City2, Destination, [Start| Locations], Steps). - - - not_member(_, []). - - not_member(City, [Location| Locations]) :- - City \= Location, - not_member(City, Locations). - - -:- end_object. diff --git a/Logtalk/examples/lo/planner/renfrew.lgt b/Logtalk/examples/lo/planner/renfrew.lgt deleted file mode 100644 index 3cfd078da..000000000 --- a/Logtalk/examples/lo/planner/renfrew.lgt +++ /dev/null @@ -1,10 +0,0 @@ - -:- object(renfrew, - extends(airport)). - - - fly(aberdeen_air). - fly(ringway). - - -:- end_object. diff --git a/Logtalk/examples/lo/planner/ringway.lgt b/Logtalk/examples/lo/planner/ringway.lgt deleted file mode 100644 index da182cac0..000000000 --- a/Logtalk/examples/lo/planner/ringway.lgt +++ /dev/null @@ -1,10 +0,0 @@ - -:- object(ringway, - extends(manchester, airport)). - - - fly(lhr). - fly(renfrew). - - -:- end_object. diff --git a/Logtalk/examples/lo/planner/victoria.lgt b/Logtalk/examples/lo/planner/victoria.lgt deleted file mode 100644 index fd80e32e4..000000000 --- a/Logtalk/examples/lo/planner/victoria.lgt +++ /dev/null @@ -1,6 +0,0 @@ - -:- object(victoria, - extends(manchester)). - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/aberdeen.lgt b/Logtalk/examples/lo/travellers/aberdeen.lgt deleted file mode 100644 index d9d12780f..000000000 --- a/Logtalk/examples/lo/travellers/aberdeen.lgt +++ /dev/null @@ -1,11 +0,0 @@ - -:- object(aberdeen, - extends(location(194, 340))). - - - links([ - (edinburgh, 115), - (glasgow, 142)]). - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/aberystwyth.lgt b/Logtalk/examples/lo/travellers/aberystwyth.lgt deleted file mode 100644 index b3fe52f10..000000000 --- a/Logtalk/examples/lo/travellers/aberystwyth.lgt +++ /dev/null @@ -1,12 +0,0 @@ - -:- object(aberystwyth, - extends(location(126, 102))). - - - links([ - (birmingham, 114), - (liverpool, 100), - (swansea, 75)]). - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/birmingham.lgt b/Logtalk/examples/lo/travellers/birmingham.lgt deleted file mode 100644 index 7e47c5c39..000000000 --- a/Logtalk/examples/lo/travellers/birmingham.lgt +++ /dev/null @@ -1,16 +0,0 @@ - -:- object(birmingham, - extends(location(192, 106))). - - - links([ - (aberystwyth, 114), - (bristol, 86), - (cambridge, 97), - (liverpool, 99), - (nottingham, 48), - (oxford, 63), - (sheffield, 75)]). - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/brighton.lgt b/Logtalk/examples/lo/travellers/brighton.lgt deleted file mode 100644 index 98ec240cc..000000000 --- a/Logtalk/examples/lo/travellers/brighton.lgt +++ /dev/null @@ -1,12 +0,0 @@ - -:- object(brighton, - extends(location(248, 10))). - - - links([ - (dover, 81), - (portsmouth, 49), - (london, 52)]). - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/bristol.lgt b/Logtalk/examples/lo/travellers/bristol.lgt deleted file mode 100644 index 9d4ca042b..000000000 --- a/Logtalk/examples/lo/travellers/bristol.lgt +++ /dev/null @@ -1,13 +0,0 @@ - -:- object(bristol, - extends(location(168, 47))). - - - links([ - (cardiff, 44), - (exeter, 76), - (oxford, 71), - (birmingham, 86)]). - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/cambridge.lgt b/Logtalk/examples/lo/travellers/cambridge.lgt deleted file mode 100644 index 6378c9012..000000000 --- a/Logtalk/examples/lo/travellers/cambridge.lgt +++ /dev/null @@ -1,13 +0,0 @@ - -:- object(cambridge, - extends(location(254, 92))). - - - links([ - (nottingham, 82), - (oxford, 80), - (london, 54), - (birmingham, 97)]). - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/cardiff.lgt b/Logtalk/examples/lo/travellers/cardiff.lgt deleted file mode 100644 index c5b195b8a..000000000 --- a/Logtalk/examples/lo/travellers/cardiff.lgt +++ /dev/null @@ -1,11 +0,0 @@ - -:- object(cardiff, - extends(location(148, 56))). - - - links([ - (bristol, 44), - (swansea, 45)]). - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/carlisle.lgt b/Logtalk/examples/lo/travellers/carlisle.lgt deleted file mode 100644 index 7536a2136..000000000 --- a/Logtalk/examples/lo/travellers/carlisle.lgt +++ /dev/null @@ -1,12 +0,0 @@ - -:- object(carlisle, - extends(location(166, 226))). - - - links([ - (glasgow, 94), - (leeds, 117), - (newcastle, 58)]). - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/circular.lgt b/Logtalk/examples/lo/travellers/circular.lgt deleted file mode 100644 index e78d348ee..000000000 --- a/Logtalk/examples/lo/travellers/circular.lgt +++ /dev/null @@ -1,72 +0,0 @@ - -:- object(circular, - extends(salesman)). - - - :- info([ - author is 'Paulo Moura', - version is 1.0, - date is 2000/4/22, - comment is '.', - source is 'Example adopted from the Francis G. McCabe L&O documentation.']). - - - :- op(400, yfx, ~). - - - route([Town| Towns], Route) :- - route(Towns, Town~Town, Route). - - - route([], Route, Route). - - route([Town| Towns], Route, Route2) :- - best_place(Route, Town, Best), - split(Best, Route, Town, Split), - route(Towns, Split, Route2). - - - best_place(Route, Town, Best) :- - best_place(Route, Town, 10000000, 0, 0, Best). - - best_place(R~T1~T2, Town, XD, _, I, Best) :- - atom(T1), - atom(T2), - extra(T1, Town, T2, XT), - XT < XD, - I2 is I + 1, - best_place(R~T1, Town, XT, I2, I2, Best). - - best_place(R~T1~T2, Town, XD, XI, I, Best) :- - atom(T1), - atom(T2), - I2 is I + 1, - best_place(R~T1, Town, XD, XI, I2, Best). - - best_place(T1~T2, Town, XD, _, I, Best) :- - atom(T1), - atom(T2), - extra(T1, Town, T2, XT), - XT < XD, - Best is I + 1. - - best_place(_~_, _, _, XI, _, XI). - - - split(0, Route, Town, Route~Town). - - split(IX, Route~Town1, Town, Split~Town1) :- - IX2 is IX - 1, - split(IX2, Route, Town, Split). - - split(1, Route, Town, Town~Route). - - - extra(T1, T, T2, E) :- - T1::crow_flies(T, E1), - T::crow_flies(T2, E2), - T1::crow_flies(T2, E3), - E is E1 + E2 - E3. - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/descend.lgt b/Logtalk/examples/lo/travellers/descend.lgt deleted file mode 100644 index 7b926c1cf..000000000 --- a/Logtalk/examples/lo/travellers/descend.lgt +++ /dev/null @@ -1,20 +0,0 @@ - -:- object(descend). - - - :- info([ - author is 'Paulo Moura', - version is 1.0, - date is 2000/4/22, - comment is '.', - source is 'Example adopted from the Francis G. McCabe L&O documentation.']). - - - :- public(less/2). - - - less(X, Y):- - X >= Y. - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/dover.lgt b/Logtalk/examples/lo/travellers/dover.lgt deleted file mode 100644 index dcc92f76b..000000000 --- a/Logtalk/examples/lo/travellers/dover.lgt +++ /dev/null @@ -1,11 +0,0 @@ - -:- object(dover, - extends(location(292, 38))). - - - links([ - (brighton, 81), - (london, 71)]). - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/driving.lgt b/Logtalk/examples/lo/travellers/driving.lgt deleted file mode 100644 index cff3a5e3d..000000000 --- a/Logtalk/examples/lo/travellers/driving.lgt +++ /dev/null @@ -1,52 +0,0 @@ - -:- object(driving, - extends(salesman)). - - - :- info([ - author is 'Paulo Moura', - version is 1.0, - date is 2000/4/22, - comment is '.', - source is 'Example adopted from the Francis G. McCabe L&O documentation.']). - - - :- op(400, yfx, ~). - - - route(Towns, Route) :- - presort::route(Towns, Presort), - drive_around(Presort, Route). - - - drive_around(Route~Town1~Town2, Route1~Route2) :- - !, - drive_around(Route~Town1, Route1), - Town1::drive(Town2, Route2). - - drive_around(Town1~Town2, Route) :- - !, - Town1::drive(Town2, Route). - - drive_around(Town, Town). - - - drive_length(Route, Length) :- - drive_length(Route, 0, Length). - - - drive_length(Route~Town1~Town2, Acc, Length) :- - !, - Town1::road_distance(Town2, Length2), - Acc2 is Acc + Length2, - drive_length(Route~Town1, Acc2, Length). - - drive_length(Town1~Town2, Acc, Length) :- - !, - Town1::road_distance(Town2, Length2), - Length is Acc + Length2. - - drive_length(_, Length, Length). - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/edinburgh.lgt b/Logtalk/examples/lo/travellers/edinburgh.lgt deleted file mode 100644 index 7de15fd5f..000000000 --- a/Logtalk/examples/lo/travellers/edinburgh.lgt +++ /dev/null @@ -1,12 +0,0 @@ - -:- object(edinburgh, - extends(location(162, 282))). - - - links([ - (aberdeen, 115), - (glasgow, 44), - (newcastle, 104)]). - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/exeter.lgt b/Logtalk/examples/lo/travellers/exeter.lgt deleted file mode 100644 index 657fded12..000000000 --- a/Logtalk/examples/lo/travellers/exeter.lgt +++ /dev/null @@ -1,12 +0,0 @@ - -:- object(exeter, - extends(location(138, 18))). - - - links([ - (bristol, 76), - (penzance, 112), - (portsmouth, 126)]). - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/geographic2.lgt b/Logtalk/examples/lo/travellers/geographic2.lgt deleted file mode 100644 index 39a70298f..000000000 --- a/Logtalk/examples/lo/travellers/geographic2.lgt +++ /dev/null @@ -1,68 +0,0 @@ - -:- object(geographic(_OX, _OY)). - - - :- info([ - author is 'Paulo Moura', - version is 1.0, - date is 2000/4/22, - parnames is ['OX', 'OY'], - comment is '.', - source is 'Example adopted from the Francis G. McCabe L&O documentation.']). - - - :- public(less/2). - - - less(Town1, Town2):- - angle(Town1, Angle1), - angle(Town2, Angle2), - Angle1 < Angle2. - - - angle(Town, Angle) :- - Town::at(X, Y), - parameter(1, OX), - parameter(2, OY), - angle(X, Y, OX, OY, Angle). - - - angle(X, Y, OX, OY, Angle) :- - X > OX, - Y >= OY, - Angle is atan((Y-OY)/(X-OX)). - - angle(X, Y, OX, OY, Angle) :- - X > OX, - Y < OY, - pi(Pi), - Angle is Pi + Pi - atan((OY-Y)/(X-OX)). - - angle(X, Y, OX, OY, Angle) :- - X < OX, - Y >= OY, - pi(Pi), - Angle is Pi - atan((Y-OY)/(OX-X)). - - angle(X, Y, OX, OY, Angle) :- - X < OX, - Y < OY, - pi(Pi), - Angle is Pi + atan((OY-Y)/(OX-X)). - - angle(OX, Y, OX, OY, Angle) :- - Y > OY, - pi(Pi), - Angle is Pi / 2. - - angle(OX, Y, OX, OY, Angle) :- - Y =< OY, - pi(Pi), - Angle is 1.5 * Pi. - - - pi(Pi) :- - Pi is 4.0*atan(1.0). - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/glasgow.lgt b/Logtalk/examples/lo/travellers/glasgow.lgt deleted file mode 100644 index aebe3af69..000000000 --- a/Logtalk/examples/lo/travellers/glasgow.lgt +++ /dev/null @@ -1,12 +0,0 @@ - -:- object(glasgow, - extends(location(132, 273))). - - - links([ - (aberdeen, 142), - (carlisle, 94), - (edinburgh, 44)]). - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/hull.lgt b/Logtalk/examples/lo/travellers/hull.lgt deleted file mode 100644 index 2828527d1..000000000 --- a/Logtalk/examples/lo/travellers/hull.lgt +++ /dev/null @@ -1,12 +0,0 @@ - -:- object(hull, - extends(location(240, 168))). - - - links([ - (leeds, 58), - (sheffield, 65), - (york, 37)]). - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/incremental.lgt b/Logtalk/examples/lo/travellers/incremental.lgt deleted file mode 100644 index 84970be85..000000000 --- a/Logtalk/examples/lo/travellers/incremental.lgt +++ /dev/null @@ -1,91 +0,0 @@ - -:- object(incremental, - extends(salesman)). - - - :- info([ - author is 'Paulo Moura', - version is 1.0, - date is 2000/4/22, - comment is '.', - source is 'Example adopted from the Francis G. McCabe L&O documentation.']). - - - :- op(400, yfx, ~). - - - route([Town| Towns], Route) :- - route(Towns, Town, Route). - - - route([], Route, Route). - - route([Town| Towns], Route, Route2) :- - best_place(Route, Town, Best), - split(Best, Route, Town, NewR), - route(Towns, NewR, Route2). - - - best_place(Route~Town1, Town, Best) :- % try the back first ... - atom(Town1), - Town::crow_flies(Town1, Distance), - best_place(Route~Town1, Town, Distance, 0, 0, Best). - - best_place(Town, _, 0) :- - atom(Town). - - - best_place(R~T1~T2, T, XD, _, I, Best) :- - atom(T1), - atom(T2), - extra(T1, T, T2, XT), - XT < XD, - I2 is I + 1, - best_place(R~T1, T, XT, I2, I2, Best). - - best_place(R~T1~T2, T, XD, XI, I, Best) :- - atom(T1), - atom(T2), - I2 is I + 1, - best_place(R~T1, T, XD, XI, I2, Best). - - best_place(T1~T2, T, XD, _, I, Best) :- - atom(T1), - atom(T2), - extra(T1, T, T2, XT), - XT < XD, - I2 is I + 1, - best_place(T1, T, XT, I2, I2, Best). - - best_place(T1~T2, T, XD, XI, I, Best) :- - atom(T1), - atom(T2), - I2 is I + 1, - best_place(T1, T, XD, XI, I2, Best). - - best_place(T1, T, XD, _, I, Best) :- - atom(T1), - T1::crow_flies(T, Distance), - Distance < XD, - Best is I + 1. - - best_place(_, _, _, XI, _, XI). - - - split(0, Route, Town, Route~Town). - - split(IX, Route~Town1, Town, S~Town1) :- - IX2 is IX -1, - split(IX2, Route, Town, S). - - split(1, Route, Town, Town~Route). - - - extra(T1, T, T2, XT) :- - T1::crow_flies(T, Distance1), - T::crow_flies(T2, Distance2), - T1::crow_flies(T2, Distance3), - XT is Distance1 + Distance2 - Distance3. - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/leeds.lgt b/Logtalk/examples/lo/travellers/leeds.lgt deleted file mode 100644 index 0bb18d3d2..000000000 --- a/Logtalk/examples/lo/travellers/leeds.lgt +++ /dev/null @@ -1,14 +0,0 @@ - -:- object(leeds, - extends(location(208, 170))). - - - links([ - (carlisle, 117), - (hull, 58), - (sheffield, 34), - (manchester, 41), - (york, 23)]). - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/liverpool.lgt b/Logtalk/examples/lo/travellers/liverpool.lgt deleted file mode 100644 index 998653951..000000000 --- a/Logtalk/examples/lo/travellers/liverpool.lgt +++ /dev/null @@ -1,13 +0,0 @@ - -:- object(liverpool, - extends(location(164, 150))). - - - links([ - (aberystwyth, 100), - (birmingham, 99), - (manchester, 35), - (sheffield, 70)]). - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/location2.lgt b/Logtalk/examples/lo/travellers/location2.lgt deleted file mode 100644 index 6b0c7e4c1..000000000 --- a/Logtalk/examples/lo/travellers/location2.lgt +++ /dev/null @@ -1,83 +0,0 @@ - -:- object(location(_X, _Y)). - - - :- info([ - author is 'Paulo Moura', - version is 1.0, - date is 2000/4/22, - parnames is ['X', 'Y'], - comment is '.', - source is 'Example adopted from the Francis G. McCabe L&O documentation.']). - - - :- op(400, yfx, ~). - - - :- public(at/2). - :- mode(at(-integer, -integer), one). - - :- public(crow_flies/2). - :- mode(crow_flies(+atom, -integer), one). - - :- public(drive/2). - :- mode(drive(+atom, -nonvar), zero_or_more). - - :- public(links/1). - :- mode(links(-list), one). - - :- public(road_distance/2). - :- mode(road_distance(?atom, ?integer), zero_or_more). - - - at(X, Y) :- - parameter(1, X), - parameter(2, Y). - - - crow_flies(Town, Distance) :- - ::at(X, Y), - Town::at(U, V), - U0 is U-X, - V0 is V-Y, - Distance is sqrt(U0*U0+V0*V0). - - - road_distance(Town, Distance) :- - ::links(Links), - member((Town, Distance), Links). - - - drive(To, Route) :- % plan a road journey - self(Self), - plan_drive(Self, To, [], _, Route). - - - % go directly - - plan_drive(From, To, _, Distance, From~To):- - To::links(Links), - member((From, Distance), Links). - - - % go indirectly - - plan_drive(From, To, R, D+DI, Route~To):- - To::links(Links), - nearest(Links, From, Int, DI), - \+ member(Int, R), - plan_drive(From, Int, [To| R], D, Route). - - - nearest(Links, To, Int, Distance):- - quick(metric(To))::sort(Links, Sorted), - member((Int, Distance), Sorted). - - - member(Head, [Head| _]). - - member(Head, [_| Tail]) :- - member(Head, Tail). - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/london.lgt b/Logtalk/examples/lo/travellers/london.lgt deleted file mode 100644 index b42f8dc1f..000000000 --- a/Logtalk/examples/lo/travellers/london.lgt +++ /dev/null @@ -1,14 +0,0 @@ - -:- object(london, - extends(location(244,54))). - - - links([ - (brighton, 52), - (dover, 71), - (cambridge, 54), - (oxford, 57), - (portsmouth, 72)]). - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/manchester.lgt b/Logtalk/examples/lo/travellers/manchester.lgt deleted file mode 100644 index 55905c875..000000000 --- a/Logtalk/examples/lo/travellers/manchester.lgt +++ /dev/null @@ -1,12 +0,0 @@ - -:- object(manchester, - extends(location(180, 156))). - - - links([ - (leeds, 41), - (liverpool, 35), - (sheffield, 38)]). - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/metric1.lgt b/Logtalk/examples/lo/travellers/metric1.lgt deleted file mode 100644 index 7294cee9d..000000000 --- a/Logtalk/examples/lo/travellers/metric1.lgt +++ /dev/null @@ -1,24 +0,0 @@ - -:- object(metric(_Town)). - - - :- info([ - author is 'Paulo Moura', - version is 1.0, - date is 2000/4/22, - comment is '.', - parnames is ['Town'], - source is 'Example adopted from the Francis G. McCabe L&O documentation.']). - - - :- public(less/2). - - - less((Town1, _), (Town2, _)):- - parameter(1, Town), - Town::crow_flies(Town1, Distance1), - Town::crow_flies(Town2, Distance2), - Distance1 < Distance2. - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/natural.lgt b/Logtalk/examples/lo/travellers/natural.lgt deleted file mode 100644 index 2e48fbc01..000000000 --- a/Logtalk/examples/lo/travellers/natural.lgt +++ /dev/null @@ -1,20 +0,0 @@ - -:- object(natural). - - - :- info([ - author is 'Paulo Moura', - version is 1.0, - date is 2000/4/22, - comment is '.', - source is 'Example adopted from the Francis G. McCabe L&O documentation.']). - - - :- public(less/2). - - - less(X, Y):- - X < Y. - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/newcastle.lgt b/Logtalk/examples/lo/travellers/newcastle.lgt deleted file mode 100644 index 48eef99f8..000000000 --- a/Logtalk/examples/lo/travellers/newcastle.lgt +++ /dev/null @@ -1,12 +0,0 @@ - -:- object(newcastle, - extends(location(210, 230))). - - - links([ - (edinburgh, 104), - (carlisle, 58), - (york, 80)]). - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/nottingham.lgt b/Logtalk/examples/lo/travellers/nottingham.lgt deleted file mode 100644 index 47172cedc..000000000 --- a/Logtalk/examples/lo/travellers/nottingham.lgt +++ /dev/null @@ -1,12 +0,0 @@ - -:- object(nottingham, - extends(location(216, 128))). - - - links([ - (birmingham, 48), - (cambridge, 82), - (sheffield, 38)]). - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/oxford.lgt b/Logtalk/examples/lo/travellers/oxford.lgt deleted file mode 100644 index 4dcd362e3..000000000 --- a/Logtalk/examples/lo/travellers/oxford.lgt +++ /dev/null @@ -1,13 +0,0 @@ - -:- object(oxford, - extends(location(214, 66))). - - - links([ - (bristol, 71), - (birmingham, 63), - (cambridge, 80), - (london, 57)]). - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/penzance.lgt b/Logtalk/examples/lo/travellers/penzance.lgt deleted file mode 100644 index 8c6432657..000000000 --- a/Logtalk/examples/lo/travellers/penzance.lgt +++ /dev/null @@ -1,10 +0,0 @@ - -:- object(penzance, - extends(location(10, 0))). - - - links([( - exeter, 112)]). - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/permute.lgt b/Logtalk/examples/lo/travellers/permute.lgt deleted file mode 100644 index 9244e1aaf..000000000 --- a/Logtalk/examples/lo/travellers/permute.lgt +++ /dev/null @@ -1,65 +0,0 @@ - -:- object(permute, - extends(salesman)). - - - :- info([ - author is 'Paulo Moura', - version is 1.0, - date is 2000/4/22, - comment is '.', - source is 'Example adopted from the Francis G. McCabe L&O documentation.']). - - - :- op(400, yfx, ~). - - - route(Towns, Route) :- - findall( - (Towns2, Length), - (permute(Towns, Towns2), route_length(Towns2, Length)), - List), - shortest(List, Route). - - - permute([Town], Town). - - permute(Towns, Towns2~Town) :- - delete(Towns, Town, Towns3), - permute(Towns3, Towns2). - - - delete([Head| Tail], Head, Tail). - - delete([Head| Tail], Element, [Head| Tail2]):- - delete(Tail, Element, Tail2). - - - route_length(Town, 0) :- - atom(Town), !. - - route_length(Towns~Town1~Town2, Length) :- - !, - route_length(Towns~Town1, Length1), - Town1::crow_flies(Town2, Length2), - Length is Length1 + Length2. - - route_length(Town1~Town2, Length) :- - Town1::crow_flies(Town2, Length). - - - shortest(List, Shortest) :- - shortest(List, null, 1000000, Shortest). - - - shortest([], Route, Length, (Route, Length)). - - shortest([(Route, Length)| Routes], _, LX, Shortest) :- - Length < LX, !, - shortest(Routes, Route, Length, Shortest). - - shortest([_| Routes], RX, LX, Shortest) :- - shortest(Routes, RX, LX, Shortest). - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/portsmouth.lgt b/Logtalk/examples/lo/travellers/portsmouth.lgt deleted file mode 100644 index 221148012..000000000 --- a/Logtalk/examples/lo/travellers/portsmouth.lgt +++ /dev/null @@ -1,12 +0,0 @@ - -:- object(portsmouth, - extends(location(216, 22))). - - - links([ - (brighton, 49), - (exeter, 126), - (london, 72)]). - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/presort.lgt b/Logtalk/examples/lo/travellers/presort.lgt deleted file mode 100644 index 6a5b9b8ad..000000000 --- a/Logtalk/examples/lo/travellers/presort.lgt +++ /dev/null @@ -1,43 +0,0 @@ - -:- object(presort, - extends(incremental)). - - - :- info([ - author is 'Paulo Moura', - version is 1.0, - date is 2000/4/22, - comment is '.', - source is 'Example adopted from the Francis G. McCabe L&O documentation.']). - - - :- uses(quick(_)). - - - route(Towns, Route) :- - arrange(Towns, Towns2), - ^^route(Towns2, Route). - - - arrange(Towns, Sorted) :- - centre(Towns, X, Y), - quick(geographic(X, Y))::sort(Towns, Sorted). - - - centre(Towns, X, Y) :- - average(Towns, 0, 0, U, V, 0, L), - X is U/L, - Y is V/L. - - - average([], U, V, U, V, L, L). - - average([Town| Towns], UX, VX, U, V, I, L):- - Town::at(UT, VT), - UX2 is UX+UT, - VX2 is VX+VT, - I2 is I + 1, - average(Towns, UX2, VX2, U, V, I2, L). - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/quick1.lgt b/Logtalk/examples/lo/travellers/quick1.lgt deleted file mode 100644 index 0dcffb00f..000000000 --- a/Logtalk/examples/lo/travellers/quick1.lgt +++ /dev/null @@ -1,45 +0,0 @@ - -:- object(quick(_Order)). - - - :- info([ - author is 'Paulo Moura', - version is 1.0, - date is 2000/4/22, - parnames is ['Order'], - comment is '.', - source is 'Example adopted from the Francis G. McCabe L&O documentation.']). - - - :- public(sort/2). - :- mode(sort(+list, -list), one). - - - sort([], []). - - sort([X| L], S):- - split(L, X, L1, L2), - sort(L1, S1), - sort(L2, S2), - app(S1, [X| S2], S). - - - split([], _, [], []). - - split([D| L], X, [D| L1], L2):- - parameter(1, Order), - Order::less(D, X), - !, - split(L, X, L1, L2). - - split([D| L], X, L1, [D| L2]):- - split(L, X, L1, L2). - - - app([], L, L). - - app([H| T], L, [H| T2]) :- - app(T, L, T2). - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/sheffield.lgt b/Logtalk/examples/lo/travellers/sheffield.lgt deleted file mode 100644 index 717a2aa21..000000000 --- a/Logtalk/examples/lo/travellers/sheffield.lgt +++ /dev/null @@ -1,15 +0,0 @@ - -:- object(sheffield, - extends(location(208, 142))). - - - links([ - (birmingham, 75), - (hull, 65), - (leeds, 34), - (liverpool, 70), - (manchester, 38), - (nottingham, 38)]). - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/swansea.lgt b/Logtalk/examples/lo/travellers/swansea.lgt deleted file mode 100644 index 0d6aed4d4..000000000 --- a/Logtalk/examples/lo/travellers/swansea.lgt +++ /dev/null @@ -1,11 +0,0 @@ - -:- object(swansea, - extends(location(126, 66))). - - - links([ - (cardiff, 45), - (aberystwyth, 75)]). - - -:- end_object. diff --git a/Logtalk/examples/lo/travellers/york.lgt b/Logtalk/examples/lo/travellers/york.lgt deleted file mode 100644 index c1a4676bf..000000000 --- a/Logtalk/examples/lo/travellers/york.lgt +++ /dev/null @@ -1,12 +0,0 @@ - -:- object(york, - extends(location(218, 184))). - - - links([ - (leeds, 23), - (hull, 37), - (newcastle, 80)]). - - -:- end_object. diff --git a/Logtalk/examples/poem/circle2.lgt b/Logtalk/examples/poem/circle2.lgt deleted file mode 100644 index 87e7a27e3..000000000 --- a/Logtalk/examples/poem/circle2.lgt +++ /dev/null @@ -1,33 +0,0 @@ - -/* Circle is a special form of ellipse */ -/* Subclasses ('circle' here) must have the same number of arguments */ -/* as their superclass ('ellipse') for the superclass predicates to */ -/* be applicable. The arguments may be renamed for clarity. */ - -:- object(circle(Center, Radius), - extends(ellipse(Center, Radius, Radius))). - - - :- info([ - author is 'Paulo Moura', - version is 1.0, - date is 2000/4/22, - comment is 'Parametric object for representing geometric circles.', - parnames is ['Center', 'Radius'], - source is 'Example adopted from the POEM system by Ben Staveley-Taylor.']). - - - :- public(circumference/1). - :- mode(circumference(-number), one). - - - circumference(Circumference) :- - pi(Pi), - parameter(2, Radius), - Circumference is 2*Pi*Radius. - - - pi(3.14196). - - -:- end_object. diff --git a/Logtalk/examples/poem/ellipse3.lgt b/Logtalk/examples/poem/ellipse3.lgt deleted file mode 100644 index d2dfb6933..000000000 --- a/Logtalk/examples/poem/ellipse3.lgt +++ /dev/null @@ -1,30 +0,0 @@ - -/* Ellipses are defined by centre and semi-axes */ - -:- object(ellipse(_Center, _A, _B)). - - - :- info([ - author is 'Paulo Moura', - version is 1.0, - date is 2000/4/22, - comment is 'Parametric object for representing geometric ellipses.', - parnames is ['Center', 'Rx', 'Ry'], - source is 'Example adopted from the POEM system by Ben Staveley-Taylor.']). - - - :- public(area/1). - :- mode(area(-number), one). - - - area(Area) :- - pi(Pi), - parameter(2, A), - parameter(3, B), - Area is Pi*A*B. - - - pi(3.14196). - - -:- end_object. diff --git a/Logtalk/examples/poem/line2.lgt b/Logtalk/examples/poem/line2.lgt deleted file mode 100644 index cec5bd334..000000000 --- a/Logtalk/examples/poem/line2.lgt +++ /dev/null @@ -1,92 +0,0 @@ - -/* A line is defined by its end points. */ -/* This class shows examples of calling its own and other class */ -/* predicates. */ - -:- object(line(_Point1, _Point2)). - - - :- info([ - author is 'Paulo Moura', - version is 1.0, - date is 2000/4/22, - comment is 'Parametric object for representing geometric lines.', - parnames is ['Point1', 'Point2'], - source is 'Example adopted from the POEM system by Ben Staveley-Taylor.']). - - - :- public(length/1). - :- mode(length(-number), one). - - :- public(intersects/1). - :- mode(intersects(+nonvar), one). - - :- public(signed_distance/2). - :- mode(signed_distance(+nonvar, -number), one). - - :- public(distance/2). - :- mode(distance(+nonvar, -number), one). - - - length(Length) :- - /* sets Len to the length of the owner line */ - parameter(1, P1), - parameter(2, P2), - P1::distance(P2, Length). - - - intersects(Line2) :- - /* succeeds if Line2 intersects the owner line. */ - /* this isn't necessarily a good method, but shows how to */ - /* call class procedures from within the class definition. */ - parameter(1, P1), - parameter(2, P2), - Line1 = line(P1, P2), - Line2 = line(P3, P4), - Line2::signed_distance(P1, D1), - Line2::signed_distance(P2, D2), - opposite_signs(D1, D2), - Line1::signed_distance(P3, D3), - Line1::signed_distance(P4, D4), - opposite_signs(D3, D4). - - - signed_distance(Point, Dist) :- - /* finds the perpendicular distance from point to line. */ - /* the sign of the answer depends on which side of the */ - /* line the point is on. */ - parameter(1, P1), - parameter(2, P2), - P1 = point(X1, Y1), - P2 = point(X2, Y2), - Point = point(X3, Y3), - A is X2-X1, - B is Y1-Y2, - C is X1*Y2-X2*Y1, - Dist is (A*Y3+B*X3+C)/sqrt(A*A+B*B). - - - distance(Point, Dist) :- - /* as 'signed_distance', but Dist always >= 0 */ - parameter(1, P1), - parameter(2, P2), - line(P1, P2)::signed_distance(Point, Temp), - Dist is abs(Temp). - - - /* 'opposite_signs' succeeds if its arguments are of opposite signs. */ - /* It has a feature in that 'opposite_signs(0,0)' succeeds: this is */ - /* because 0 is treated as having optional sign. */ - - opposite_signs(A, B) :- - o_s_aux(A, B). - - opposite_signs(A, B) :- - o_s_aux(B, A). - - o_s_aux(A, B) :- - A >= 0, - B =< 0. - - -:- end_object. diff --git a/Logtalk/examples/poem/point2.lgt b/Logtalk/examples/poem/point2.lgt deleted file mode 100644 index d156fc398..000000000 --- a/Logtalk/examples/poem/point2.lgt +++ /dev/null @@ -1,39 +0,0 @@ - -/* Points are going to be the fundamental quantity. */ -/* These will be defined in Cartesian co-ordinates. */ - -:- object(point(_X, _Y)). - - - :- info([ - author is 'Paulo Moura', - version is 1.0, - date is 2000/4/22, - comment is 'Parametric object for representing geometric points.', - parnames is ['X', 'Y'], - source is 'Example adopted from the POEM system by Ben Staveley-Taylor.']). - - - :- public(identical/1). - :- mode(identical(+nonvar), one). - - :- public(distance/2). - :- mode(distance(+nonvar, -number), one). - - - identical(point(X1, Y1)) :- - /* succeeds if the argument and owner points are the same. */ - parameter(1, X), - parameter(2, Y), - X1 = X, - Y1 = Y. - - - distance(point(X1, Y1), Distance) :- - /* finds the distance between argument and owner points. */ - parameter(1, X), - parameter(2, Y), - Distance is sqrt((X1-X)*(X1-X)+(Y1-Y)*(Y1-Y)). - - -:- end_object. diff --git a/Logtalk/examples/shapes/ch/polygon.lgt b/Logtalk/examples/shapes/ch/polygon.lgt deleted file mode 100644 index eca9e5afb..000000000 --- a/Logtalk/examples/shapes/ch/polygon.lgt +++ /dev/null @@ -1,40 +0,0 @@ -:- object(polygon, - instantiates(abstract_class), - specializes(shape)). - - - :- info([ - author is 'Paulo Moura', - version is 1.1, - date is 2004/1/8, - comment is 'Generic polygon.']). - - - :- public(nsides/1). - - :- mode(nsides(?integer), zero_or_one). - - :- info(nsides/1, [ - comment is 'Polygon number of sides.', - argnames is ['Number']]). - - - :- public(area/1). - - :- mode(area(-float), zero_or_one). - - :- info(area/1, [ - comment is 'Polygon area.', - argnames is ['Area']]). - - - :- public(perimeter/1). - - :- mode(perimeter(?atom), zero_or_one). - - :- info(perimeter/1, [ - comment is 'Polygon perimeter.', - argnames is ['Perimeter']]). - - -:- end_object. diff --git a/Logtalk/examples/shapes/ch/q1.lgt b/Logtalk/examples/shapes/ch/q1.lgt deleted file mode 100644 index 37cc456af..000000000 --- a/Logtalk/examples/shapes/ch/q1.lgt +++ /dev/null @@ -1,4 +0,0 @@ -:- object(q1, - instantiates(square)). - -:- end_object. diff --git a/Logtalk/examples/shapes/ch/q2.lgt b/Logtalk/examples/shapes/ch/q2.lgt deleted file mode 100644 index 3cc3d6cce..000000000 --- a/Logtalk/examples/shapes/ch/q2.lgt +++ /dev/null @@ -1,14 +0,0 @@ -:- object(q2, - instantiates(square)). - - - position(2, 3). - - - color(blue). - - - side(3). - - -:- end_object. diff --git a/Logtalk/examples/shapes/ch/regular_polygon.lgt b/Logtalk/examples/shapes/ch/regular_polygon.lgt deleted file mode 100644 index 0c055677c..000000000 --- a/Logtalk/examples/shapes/ch/regular_polygon.lgt +++ /dev/null @@ -1,32 +0,0 @@ - -:- object(regular_polygon, - instantiates(abstract_class), - specializes(polygon)). - - - :- info([ - author is 'Paulo Moura', - version is 1.1, - date is 2004/1/8, - comment is 'Generic regular polygon.']). - - - :- public(side/1). - - :- mode(side(?atom), zero_or_one). - - :- info(side/1, [ - comment is 'Regular polygon side length.', - argnames is ['Length']]). - - - side(1). % default side length - - - perimeter(Perimeter) :- - ::nsides(Number), - ::side(Side), - Perimeter is Number*Side. - - -:- end_object. diff --git a/Logtalk/examples/shapes/ch/shape.lgt b/Logtalk/examples/shapes/ch/shape.lgt deleted file mode 100644 index af48f0805..000000000 --- a/Logtalk/examples/shapes/ch/shape.lgt +++ /dev/null @@ -1,37 +0,0 @@ -:- object(shape, - instantiates(abstract_class), - specializes(object)). - - - :- info([ - author is 'Paulo Moura', - version is 1.0, - date is 2003/2/3, - comment is 'Generic geometric shape.']). - - - :- public(color/1). - - :- mode(color(?atom), zero_or_one). - - :- info(color/1, [ - comment is 'Shape color.', - argnames is ['Color']]). - - - :- public(position/2). - - :- mode(position(?integer, ?integer), zero_or_one). - - :- info(position/2, [ - comment is 'Shape position.', - argnames is ['X', 'Y']]). - - - color(red). % default shape color - - - position(0, 0). % default shape position - - -:- end_object. diff --git a/Logtalk/examples/shapes/ch/square.lgt b/Logtalk/examples/shapes/ch/square.lgt deleted file mode 100644 index 003c22c05..000000000 --- a/Logtalk/examples/shapes/ch/square.lgt +++ /dev/null @@ -1,21 +0,0 @@ -:- object(square, - instantiates(class), - specializes(regular_polygon)). - - - :- info([ - author is 'Paulo Moura', - version is 1.0, - date is 2003/2/3, - comment is 'Geometric square.']). - - - nsides(4). - - - area(Area) :- - ::side(Side), - Area is Side*Side. - - -:- end_object. diff --git a/Logtalk/examples/shapes/ph/polygon.lgt b/Logtalk/examples/shapes/ph/polygon.lgt deleted file mode 100644 index f64e36e92..000000000 --- a/Logtalk/examples/shapes/ph/polygon.lgt +++ /dev/null @@ -1,39 +0,0 @@ -:- object(polygon, - extends(shape)). - - - :- info([ - author is 'Paulo Moura', - version is 1.1, - date is 2004/1/8, - comment is 'Generic polygon.']). - - - :- public(nsides/1). - - :- mode(nsides(?integer), zero_or_one). - - :- info(nsides/1, [ - comment is 'Polygon number of sides.', - argnames is ['Number']]). - - - :- public(area/1). - - :- mode(area(-float), zero_or_one). - - :- info(area/1, [ - comment is 'Polygon area.', - argnames is ['Area']]). - - - :- public(perimeter/1). - - :- mode(perimeter(?atom), zero_or_one). - - :- info(perimeter/1, [ - comment is 'Polygon perimeter.', - argnames is ['Perimeter']]). - - -:- end_object. diff --git a/Logtalk/examples/shapes/ph/q1.lgt b/Logtalk/examples/shapes/ph/q1.lgt deleted file mode 100644 index c9c7516b0..000000000 --- a/Logtalk/examples/shapes/ph/q1.lgt +++ /dev/null @@ -1,5 +0,0 @@ -:- object(q1, - extends(square)). - - -:- end_object. diff --git a/Logtalk/examples/shapes/ph/q2.lgt b/Logtalk/examples/shapes/ph/q2.lgt deleted file mode 100644 index 1475dc71e..000000000 --- a/Logtalk/examples/shapes/ph/q2.lgt +++ /dev/null @@ -1,14 +0,0 @@ -:- object(q2, - extends(square)). - - - position(2, 3). - - - color(blue). - - - side(3). - - -:- end_object. diff --git a/Logtalk/examples/shapes/ph/regular_polygon.lgt b/Logtalk/examples/shapes/ph/regular_polygon.lgt deleted file mode 100644 index e0433386d..000000000 --- a/Logtalk/examples/shapes/ph/regular_polygon.lgt +++ /dev/null @@ -1,31 +0,0 @@ - -:- object(regular_polygon, - extends(polygon)). - - - :- info([ - author is 'Paulo Moura', - version is 1.1, - date is 2004/1/8, - comment is 'Generic regular polygon.']). - - - :- public(side/1). - - :- mode(side(?atom), zero_or_one). - - :- info(side/1, [ - comment is 'Regular polygon side length.', - argnames is ['Length']]). - - - side(1). % default side length - - - perimeter(Perimeter) :- - ::nsides(Number), - ::side(Side), - Perimeter is Number*Side. - - -:- end_object. diff --git a/Logtalk/examples/shapes/ph/shape.lgt b/Logtalk/examples/shapes/ph/shape.lgt deleted file mode 100644 index e839a2c2e..000000000 --- a/Logtalk/examples/shapes/ph/shape.lgt +++ /dev/null @@ -1,35 +0,0 @@ -:- object(shape). - - - :- info([ - author is 'Paulo Moura', - version is 1.0, - date is 2003/2/3, - comment is 'Generic geometric shape.']). - - - :- public(color/1). - - :- mode(color(?atom), zero_or_one). - - :- info(color/1, [ - comment is 'Shape color.', - argnames is ['Color']]). - - - :- public(position/2). - - :- mode(position(?integer, ?integer), zero_or_one). - - :- info(position/2, [ - comment is 'Shape position.', - argnames is ['X', 'Y']]). - - - color(red). % default shape color - - - position(0, 0). % default shape position - - -:- end_object. diff --git a/Logtalk/examples/shapes/ph/square.lgt b/Logtalk/examples/shapes/ph/square.lgt deleted file mode 100644 index e99f26799..000000000 --- a/Logtalk/examples/shapes/ph/square.lgt +++ /dev/null @@ -1,21 +0,0 @@ - -:- object(square, - extends(regular_polygon)). - - - :- info([ - author is 'Paulo Moura', - version is 1.0, - date is 2003/2/3, - comment is 'Geometric square.']). - - - nsides(4). - - - area(Area) :- - ::side(Side), - Area is Side*Side. - - -:- end_object.