Hi,

ISO is loosing it because it gives in to Teachers.
GUPU from Ulrich Neumerkel is also a Teaching project.
Notebooks can be also viewed as a Teaching project.

Still there were once rumors that Prolog was used
in Industry. But this was long long ago, and these
roots are possibly totally gone.

I don't believe anybody is using CLP or s(CASP).
Or CLP(Z) from Scryer Prolog. Also the USA
compiler builders are total cluless about logic,

and USA is dominant when it comes to compiler
builder. Take the dissertation of

Combining Analyses, Combining Optimizations
Clifford Noel Click, Jr. - February, 1995

He does't know a bit how conditional constant
propagation relates to logic.

Bye

P.S.: Compiler builders never had a formal education
in mathematical logic. Not enough time. They
were always busy in guzzling in machine code

operations, building highly sophisticated tables
that describe the machine code operations and
building simlarly highly sophisticated backends,

that are sniffing these tables. You don't find
such People in Prolog anymore. Somebody that
knows aassembly, just like Linus Torwald started...

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)

T24gNi8yMy8yMDI1IDU6MzcgUE0sIE1pbGQgU2hvY2sgd3JvdGU6DQo+IEhpLA0KPiANCj4g SVNPIGlzIGxvb3NpbmcgaXQgYmVjYXVzZSBpdCBnaXZlcyBpbiB0byBUZWFjaGVycy4NCj4g R1VQVSBmcm9tIFVscmljaCBOZXVtZXJrZWwgaXMgYWxzbyBhIFRlYWNoaW5nIHByb2plY3Qu DQo+IE5vdGVib29rcyBjYW4gYmUgYWxzbyB2aWV3ZWQgYXMgYSBUZWFjaGluZyBwcm9qZWN0 Lg0KPiANCj4gU3RpbGwgdGhlcmUgd2VyZSBvbmNlIHJ1bW9ycyB0aGF0IFByb2xvZyB3YXMg dXNlZA0KPiBpbiBJbmR1c3RyeS4gQnV0IHRoaXMgd2FzIGxvbmcgbG9uZyBhZ28sIGFuZCB0 aGVzZQ0KPiByb290cyBhcmUgcG9zc2libHkgdG90YWxseSBnb25lLg0KPiANCj4gSSBkb24n dCBiZWxpZXZlIGFueWJvZHkgaXMgdXNpbmcgQ0xQIG9yIHMoQ0FTUCkuDQo+IE9yIENMUCha KSBmcm9tIFNjcnllciBQcm9sb2cuIEFsc28gdGhlIFVTQQ0KPiBjb21waWxlciBidWlsZGVy cyBhcmUgdG90YWwgY2x1bGVzcyBhYm91dCBsb2dpYywNCj4gDQo+IGFuZCBVU0EgaXMgZG9t aW5hbnQgd2hlbiBpdCBjb21lcyB0byBjb21waWxlcg0KPiBidWlsZGVyLiBUYWtlIHRoZSBk aXNzZXJ0YXRpb24gb2YNCj4gDQo+IENvbWJpbmluZyBBbmFseXNlcywgQ29tYmluaW5nIE9w dGltaXphdGlvbnMNCj4gQ2xpZmZvcmQgTm9lbCBDbGljaywgSnIuIC3CoCBGZWJydWFyeSwg MTk5NQ0KPiANCj4gSGUgZG9lcyd0IGtub3cgYSBiaXQgaG93IGNvbmRpdGlvbmFsIGNvbnN0 YW50DQo+IHByb3BhZ2F0aW9uIHJlbGF0ZXMgdG8gbG9naWMuDQo+IA0KPiBCeWUNCj4gDQo+ IFAuUy46IENvbXBpbGVyIGJ1aWxkZXJzIG5ldmVyIGhhZCBhIGZvcm1hbCBlZHVjYXRpb24N Cj4gaW4gbWF0aGVtYXRpY2FsIGxvZ2ljLiBOb3QgZW5vdWdoIHRpbWUuIFRoZXkNCj4gd2Vy ZSBhbHdheXMgYnVzeSBpbiBndXp6bGluZyBpbiBtYWNoaW5lIGNvZGUNCj4gDQo+IG9wZXJh dGlvbnMsIGJ1aWxkaW5nIGhpZ2hseSBzb3BoaXN0aWNhdGVkIHRhYmxlcw0KPiB0aGF0IGRl c2NyaWJlIHRoZSBtYWNoaW5lIGNvZGUgb3BlcmF0aW9ucyBhbmQNCj4gYnVpbGRpbmcgc2lt bGFybHkgaGlnaGx5IHNvcGhpc3RpY2F0ZWQgYmFja2VuZHMsDQo+IA0KPiB0aGF0IGFyZSBz bmlmZmluZyB0aGVzZSB0YWJsZXMuIFlvdSBkb24ndCBmaW5kDQo+IHN1Y2ggUGVvcGxlIGlu IFByb2xvZyBhbnltb3JlLiBTb21lYm9keSB0aGF0DQo+IGtub3dzIGFhc3NlbWJseSwganVz dCBsaWtlIExpbnVzIFRvcndhbGQgc3RhcnRlZC4uLg0KDQpBIHJhdGhlciBzaWxseSB2aWV3 LiBJIHN1Z2dlc3QgdGhhdCB5b3Ugc3R1ZHkgdGhlIGhpc3Rvcnkgb2YgcHJvZ3JhbSANCmxh bmd1YWdlIGZvcm1hbGl6YXRpb24gYW5kIGNvbXBpbGF0aW9uLiBTdGFydCB3aXRoIHRoZSBj cmV3cyBpbiB0aGUgDQpOb3JkaWMgY291bnRyaWVzLCBLbnV0aCBhbmQgdGhlIGdyYXBoIHRo ZW9yeSBidW5jaCBoZXJlIGluIHRoZSBVU0EsIA0KdGhvc2Ugd2hvIHdvcmtlZCBib3RoIGlu IHRoZSBmb3VuZGF0aW9ucyBvZiBmb3JtYWwgbGFuZ3VhZ2VzIGFuZCANCnRyYW5zbGF0aW9u cyB0aGVyZW9mLiBKb2huIE1jQ2FydGh5LCBwcmltYXJpbHkgcmVjb2duaXplZCBhcyBhIGxv Z2ljaWFuLCANCmFjdHVhbGx5IGRldmVsb3BlZCBhIGNvbXBpbGVyIHdpdGggYSBncmFkdWF0 ZSBzdHVkZW50IChoaXMgZGlzc2VydGF0aW9uKSANCmFuZCAqcHJvdmVkKiBpdCBjb3JyZWN0 LiBUaGVyZSB3aGVyZSBtYW55IG90aGVyIGxvZ2ljIGRpbGV0dGFudGVzIHRoYXQgDQp3b3Jr ZWQgb24gY29ycmVjdG5lc3MgcHJvdmluZyBvZiBpbXBsZW1lbnRhdGlvbnMuDQoNCkZldyBp ZiBhbnkgKG5vbmUgdGhhdCBJIHJlY29nbml6ZSBhbnl3YXkpIGluIHRoaXMgbmVhciB1c2Vs ZXNzIE5ld3Nncm91cCANCmNvdWxkIGhvbGQgYSBjYW5kbGUgdG8gdGhlIGZvbGtzIGRlc2Ny aWJlZCBhYm92ZS4gSSBzdWdnZXN0IHRoYXQgeW91IGRvIA0KYSBsaXR0bGUgc2VyaW91cyBy ZXNlYXJjaCB0byBmaWxsIGluIHRoZSBuYW1lcyBsZWZ0IG91dCBhYm92ZSBhbmQgc2VlIA0K d2hldGhlciB5b3UgY291bGQgcmVwZWF0IHRoZSBhYm92ZSBub25zZW5zZS4NCg0KSGVsbCwg ZXZlbiBJIGNvbWJpbmVkIGEgbGl0dGxlIG1hdGggd2l0aCBjb21waWxpbmcgb24gYSBmZXcg b2NjYXNpb25zOiANCk9uY2Ugc2hvd2luZyBhIHJlZ2lzdGVyIGFsbG9jYXRpb24gcHJvYmxl bSB0byBiZSBlcXVpdmFsZW50IHRvIG9uZSBvZiANCnRoZSAiUG9zdGFnZSBTdGFtcCIgcHJv YmxlbXMgLSBwdWJsaXNoZWQgYW4gYXJ0aWNsZSBmcm9tIHRoYXQgd29yayBpbiANCnRoZSBN YXRoZW1hdGljcyBNb250aGx5IHdpdGggUm9uYWxkIEFsdGVyOyBBbm90aGVyIHRpbWUgc2hv d2VkIHRoYXQgYSANCmNvbXBpbGluZyBzY2hlbWUgY2F1c2VkIGJvb2xlYW4gZXhwcmVzc2lv bnMgY29uc2lzdGluZyBvZiBBTkQsIE9SLCBOT1QsIA0KYW5kIHZhcmlhYmxlcyB0aGF0IHdo ZXJlIGVxdWl2YWxlbnQgdW5kZXIgZG91YmxlIG5lZ2F0aW9uLCBhcmJpdHJhcnkgDQpuZXN0 aW5nLCBhbmQvb3IgRGUgTW9yZ2FuIHRyYW5zZm9ybWF0aW9ucyBwcm9kdWNlZCBiaXQgZm9y IGJpdCBpZGVudGljYWwgDQpjb2RlIHRoYXQgd2FzIG9wdGltYWwgaW4gbW9zdCBjYXNlcy4g QW5kLCBoZXksIEknbSBqdXN0IGEgYmVnaW5uZXIgYW5kIA0KdGhlcmUgYXJlIGEgbG90IG9m IGdvb2QgcGVvcGxlIHdobyBoYXZlIGRvbmUgYSB3aG9sZSBsb3QgbW9yZS4NCg0KWW91ciBh Ym92ZSBtZXNzYWdlIHNtZWxscyBvZiBicmFnZ2luZyBhbmQgeW91IGhhdmVuJ3Qgc2FpZCBh IHNpbmdsZSANCnByZWNvY2lvdXMgdGhpbmcgYWJvdXQgY29tcGlsZXJzIHRoYXQgSSBrbm93 IG9mLiBJIHN1Z2dlc3QgdGhhdCB5b3UgdGFrZSANCmEgZmV3IG1vbnRocyBhbmQgcmV2aWV3 IHRoZSBhdmFpbGFibGUgbGl0ZXJhdHVyZSwgcHVsbGVkIHlvdXIgaGVhZCBvdXQgDQpvZiB3 aGVyZSBldmVyIHlvdSd2ZSBzdHVjayBpdCwgdGhlbiByZXR1cm4gaGVyZSBhbmQgY3JpdGlx dWUgd2hhdCB5b3Ugd3JvdGUuDQotLSANCkplZmYgQmFybmV0dA0KDQo=

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)