Article View: comp.lang.prolog
Article #23Halfway to the Prolog thousand (long)
From: Chris D S Moss
Date: Fri, 30 Oct 1992 11:38
Date: Fri, 30 Oct 1992 11:38
427 lines
26379 bytes
26379 bytes
Below is the first summary of the Prolog thousand database which now contains nearly four hundred entries. About half the entries also have statistics showing that the length of programs ranges from 9 to 200,000 lines (totalling over 2 million lines) and took from 1 hour to 70 person- years to develop, with averages of around 14,000 lines and 30 person- months. To distribute it on the net I've selected only 4 out of the 30-odd fields in the database: Name, Domain, Developers (only first two names) and Country. Fields are separated by tabs so that it is easy to put into a word processor or spreadsheet. I have tried to keep it to 80 columns, but without success and the distribution process may split some of the lines. If you work with other programmers I would encourage you to format the list with a word processor and post it up somewhere! This has two benefits: It may encourage other Prolog programmers to submit their entries, and show non-Prolog users that Prolog is being used in the real world. We are keen to get more entries. Look down the list and see if projects you know about are there. If not, then fill out a form if you can (the electronic form is being reposted at the same time as this message) or email me or Al details of names and addresses or, failing that, references (DON'T post them to the net!) We have generated some of the entries ourselves from published data. If you see your own project here which you have not submitted, send me a request and I'll mail you the entry for correction and completion. We plan to do this for all entries real soon now! Chris Moss, Imperial College, London University ------------------------------------------------------ AALPS Aircraft planning SRI International USA ACACIA Nuclear power CEA, Electricite de France France ADAN Knowledge Aquisition A Trias, X Fustero Spain. ADAS Digital design Iksoo Pyo et al USA Aditi Compiler Deductive Databases Peter Stuckey Australia ADP - Arc Welding Diagnosis & Planning System. Manufacturing Design Fraunhofer-Institute Germany ADW Knowledge Coordinator Systems development KnowledgeWare, Inc USA AFARS - Asset Forfeiture advisor and reporting system Law enforcement Dennis M. Scott USA AGATHA Electronic Diagnosis D Allred; M Bennett et al USA and UK AIA-TRANS Freight distribution. A Trias, P Llopis et al Spain. AiGerm Database design Safaa H. Hashim USA Air Pollution ControlSystem Pollution Control J. Bendl, Gy. Lugosi, Z. Markusz Hungary AJAX Payroll administration Jonathan Souster UK ALBERTUS Physics Training O Miettinen, A Miettinen et al Finland. ALIEN Equipment documentation Dassault Electronique France Answer information system Software development P. Ban, J. Kohegyi et al Hungary APACHE Interactive Scheduling. COSYTEC France ARCHON Information systems Jennings UK ASIGNA Chemical processes scheduling David A. Rosenblueth Mexico ASK (Associative System Kentek) Industrial Data Analysis K van Goor; RF Jansen. Netherlands. ASTROLIZA / Aastro Brain Base Astrology Ole Eshuis, Amsterdam. Netherlands ATMI NL Dr A. P. Steward UK ATR Trainer Training Paul French UK AUNT Electronics Design Peter Reintjes USA AUTOPROLOG Legal drafting Charles S. Saxon, Layman E. Allen USA BAMBI Intelligent front end David Barnard UK BATEX Building Design Charles MENET - Marc MORO (expert) France BEACON Computer manufacture Unisys, Paoli Research Center USA BEARING Mechanical Engineering Andres Lomp Estonia BinProlog Language Implementation Dr. Paul Tarau Canada BIS/Estimator System Data Processing management BIS Applied Systems Ltd. UK Blankrupter Legal forms processing Norths Winds and Julius Blumberg Inc. USA. BUP computational linguistics Y. Matsumoto et al Japan Bus-guide Transport information Le Dizes France BUT PLAN Burgard, Luttrinhaus, Plumer Germany CAD tools in electronic engineering Electronic design K. Pastrone-Varga Hungary CAD tools in mechanical engineering CAD J. Farkas, J.Fileman et al Hungary CADRAN CAD. Dr. Uwe Crenze. Germany Calculation of Physico-chemical Parameters Pharmaceutical industry F. Darvas, I.Futo et al Hungary CAPS - Computer Aided process Scheduling Intelligent Databases K Thorshoej; L H Jacobsen Denmark CASEy expert system, manufacturing Bill McClay, et al USA Cast Component Manufacturing design Renault Motor Co. France CATS/DIANA Electronic diagnosis Dassault Electronique France Chemical Information System Chemistry F. Darvas, I. Futo et al Hungary Chemical resource allocation Manufacturing planning David A. Rosenblueth Mexico ChemiSafe Intelligent Databases Henrik Zangenberg Denmark CK Expert Modeller Design Rodney Myers UK CLARE/CLE Natural Language SRI Intl Cambridge. UK. CLIENT RISK MANAGEMENT Banking Xavier Fustero, Xavier Orteu. Spain CLINT Learning Raedt, and Bruynooghe Belgium Cobol Program Generator Software applications I. Futo, J.Szerediet al Hungary COMANDOS OO A. El Habbash et al Ireland COMBAT Simulation. COSYTEC France COMMUNAL Tim F O'Donoghue UK CONSULT CAD Jarmo T Alander Finland Contralto Transport Le Dizes France CONTRALTO Transport planning C. Guimaraes, J-M Le Dizes France Coronary Network reconstruction Medical investigation M. Garreau, C. Chardenon et al France COTORRA Train dispatching. Xavier Orteu and programmers team. Spain CPE Programming Automation Andres Lomp Estonia CPLAN Planning. COSYTEC France. CVE Digital design R Schmid, E. Tide'n Germany DAMOCLES - Damage Monitoring and Control Fire-fighting TNO Physics and Electron Lab Netherlands. DART Concurrent programming P. Rondogiannis, M.H.M. Cheng Canada DAS Financial statistics O'Connor Associates USA Data flow in Parlog Systems design Kevin Steer UK DBCodeGen CASE Tools S. Dulli - R. Sprugnoli - L. Veronese. Italy DBKUNDAR Customer support Sigve B_ Norway. DECIBAC Expert systems E. Lehman France Declarative graphics computer graphics Richard Helm, Kim Marriott Australia DedChem Organic chemistry Christoph Draxler Roland Kunz Germany Switzerland DEFINE BENEFIT STRUCTURE Pension Fund Variation G Duffy, A Collins, Andrew Langdon. U.K. DELBOLISM Computer architecture design V. Kiss and G. Simor Hungary DES Electronic manufacture Y. Lirov, O. Yue USA DESBAT Architectural design J. Autran, M. Florenzano France Detect5.pro Natural language processing Andre' Linden Switzerland DIAVOLA Mechanical Engineering:Failure Diagnosis,Product Training. Horst Koehler. Germany(West). DINSA HPP and Stocks Stocks management. Regina Llopis, Frederic Casanovas and team. Spain. Direct Guide Insurance System Insurance administration. Rune Tendal Kock (primarily). Denmark. DME(Distance Measuring Equipment)Simulator Real Time simulation. J Hakim, D Campbell. Canada. DOFLEX -Dortmund Flexible Legal Expert System Env Legal knowledge base Klans Witulski Germany DOKSI Documentation support I. Fidrich Hungary Drug interactions system Pharmaceutical Industry F. Darvas, I.Futo, P.Szeredi Hungary DtoP Manufacturing design Edinburgh University UK DUALS linguistics Yasukawa Japan DYNAMIC - system Locking of buildings A. Saksa, T. Merinen, O. Koskimaa. Finland. EDF Power generation Delphia France ELKARLAN Train maintenance Antoni Trias, Frederic Casanovas and programmers team. Spain ELMA Library Management Audun Toennesen, Bjoern Bolstad Norway EMANON CASE Peter Nordin & Sundin Sweden EMEX Strategic Marketing. T Walker, SMcAllister et al. UK EMICAT CASE Tool Dassault Electronique France EMS Manufacturing Scheduling Vincent K.M. CHING UK ENZYME SEQUENCER Biochemistry G. Matrai Hungary EPSILON Software design Nurcan et al France ERGOPRO Occupational Medicine Audun Toennesen, Terje Salbo Norway Erlang PAR Joe Armstrong et al Sweden ERS-1 Payload system Aerospace planning BIM Belgium, Netherlands ESFA Electronic design IBM La Gaude laboratory France ESTA Expert system PDC Denmark EUODHILOS Symbolic proofs H. Sawamura; T. Minami et al Japan EUREX Law F Balfroid; Jan de Rijkeet al Belgium EVA Decision Support Antoni Trias, Xavier Fustero et al Spain. EVAL Financial Analysis,Evaluation Francesco Costa Italy EXCAP Process planning UMIST UK EXEGETE Education in the Humanities. Dr. Gearge Teschner. USA Expert system for production planning Process Planning BIM Belgium EXPOD Chemical Design. Franz X. Glas Japan. FAIRCHILD prototyping system Electronics design Fairchild USA Fantasy Basketball Sports statistics John Dowding USA FARGETZT Programming utility. Sigve B_ Norway. FAST PHONEBOOK Office Productivity Gregory Bourassa Canada FAULTY Fault isolation aid. Sigve B_ Norway. FAUST Electricity supply diagnosis Thames Polytechnic UK FELIX Interactive Expert system Intelligent CBT TNO-FEL and Logica Netherlands FEREL-FERTIGUNGSREGELUNG CAM Dr. Kupec, Simon. Germany. FIM Banking Xavier Orteu Spain FLiPSiDE Distributed AI David G. Schwartz USA Floor Plan Design Architectural Design Laszlo Bela Kovacs Denmark FMOL Software production I Ferrandiz et al Spain FOM Hotel management DCM Data Products UK FORMALL Form processing. RKrofick, P Conte. USA. FORMZ Form Processing. R Krofick, P Conte. USA. FRENCHIP Electronic design Dassault France GALOP computational linguistics Y. Matsumoto et al Japan GASMAD Gas distribution Maintenance Regina Llopis, Rosa Fors et al Spain. Gene Sequence Alignment Biological Research Argonne National Laboratory USA Generalized Query System system integration Bill McClay, R Speigle et al USA Generator of Cobol programs for Data Validation Software applications I. Lang Hungary geons Computer vision R Munck-Fairwood UK GESER Ship design Delphia France GET - Graphic Editor and Tools Software production Wermelinger & Lopes Portugal GEX-Tool electronic assembly A T & T USA Git'N GO P.O.S & Inventory System Business Application. Tom Unger. USA. GOLDFINDER Geology D.D. Hawkes England Graph Software design Martin Schnuch Germany Graphical Front Ends Electronic design Greg Munger USA GRONPAR Parallel programming. E Meijer, R de Geus et al The Netherlands. GULICO Medical information V. Meskhi Russia GUNGA CLERK Legal expert systems. David E. Woodin, Esq. USA. HAMP Shipping scheduling H.J. Holst Denmark HATE Natural Language Processing R. Wirth Germany HESS (House Estimating System) Construction Estimating R Drogemuller, J Smith Australia HESYOD Program Synthesis A. Ja. Dikovsky Russia HOSROS Health. Stewart Rosenberg. France. HPLus Computer Based Training Karlhorst Klotz Germany HRM SIMULATOR Human Resourse Management G Bourassa, P Cunningham Canada Hypertext Toolbox Hypertext system PDC Denmark ICEBERG ELECTRIC Electrical dispatching. Jose A. Marques et al Spain. IF/Man Text analysis. N Rossler, T Schonauer. Germany. IMAGIA Electronic manufacture Dassault Electronique France INDICAID (Intelligent diagnostic computer aid) Trouble-shooting Paul van Oordt. Netherlands. Infologics Faultfinder System Service Engineering Infologics Sweden Initial growth model for radiata pine Forest management E.G. Mason New Zealand INSPECTION NETWORK Remote access expert system Kort E. Patterson. USA. INTERACT medical prescription IQSOFT Hungary ISCN Expert Health Dr. Glen Cooper, Dr. J.M. Friedman Canada (IT) 2 Information-theoretic induction tools Process optimization E Kamsties, G Seidelmann Germany JONSWAP 3D Wave Force Analysis Nautical Research Newastle U, Imperial College, London UK KALIPSOS User interfaces IBM Paris Scientic Center France KAMIIH (Kasmoc Models) Engineering drawing, 2 and 3D S Dulli - V Milanese Italy KANAL (KArlsruhe NArrowing Laboratory) Logic-functional programming. S Krischer, R D Bauer et al Germany. KANN (KArlsruhe Normal Narrowing) Declarative language N. Lindenberg, C. Scharnhorst. Germany. Karyotype parser Genetics Research D. B. Searls USA KASA Software Engineering Philip Dart Rudi Vernik Gina Kingston Australia KBTDA DDB Wang, Gray & Fiddian UK KCM Help- Desk Computer Systems Richard Bland et al UK KNOWLEDGE EDITOR 3.20 Computer Based Training. Albrecht Muller Germany Knowledge-based Image analysis system quality control BIM, Saab Instruments Belgium, Sweden KONE Predicate library Software Develpment Mr Kari Hakkarainen Finland KONFIRM Database for church use. Sigve B_ Norway. KONFIX PLAN Peter Nordin Sweden KonText Text Analysis Paul Holmes-Higgin England KORE/IE Expert systems Toramatsu Shintani Japan KORNPLAN Logistics Lars Bo Steffensen Denmark L-Form Form Processing. North Winds. USA. LanguageAccess Database Query M. Sanamrad, G. Jonsson et al Sweden; Germany; USA Laser Blankrupter Legal forms processing. North Winds and Julius Blumberg Inc. USA. LDM Software development tools K. Balogh, Z. Farkas et al Hungary Leonardo Database interface Quintec systems Ltd UK LES - Laboratory Expert System Biomedical Research Rockefeller University USA LEX0 Legal expert system S. Grundmann; W. Schoenfeld Germany LEX1 Legal expert system B. Blaeser; H. Lehmann et al Germany LEX2 Legal expert system B. Blaeser; H. Lehmann et al Germany LIMBO - Line Maintenance Bottleneck Detection Airline Management LM Hansen; LH Jacobsen et al Denmark Linear Objects (LO) Computer systems JM. Andreoli and R. Pareschi Germany LMT Machine translation M. McCord USA LMTX Machine translation Michael McCord USA Loganair Scheduler Airline scheduling Hoskyns UK LogicBase KBS Ruggles UK LOPSTER (LOgic Programming with SubTypes and Extended Resolution) Programming A. Biere, C. Hintermeier et al Germany. Loqui NL interface BIM Belgium LTUTOR Legal S. Grundmann Germany MacCLINT Machine Learning; Inductive Logic Programming L De Raedt; W Van Holder et al Belgium Machiavelli Sales planning Dermot Bradley UK MacLogic Teaching system Dr. Roy Dyckhoff UK Macmillan Rehabilitation Disabled computing Rod McGill Canada MailerMate II Form processing. North Winds. USA. ||MAPLE|| (speak: parallel Maple) Symbolic mathematics Kurt Siegl AUSTRIA Marvin Knowledge Based Systems Paul Holmes-Higgin England MASS-C (Mechanical Assembly Sequence Satisfiability-Checker) Mechanical Assembly KT Seow, R.Devanathan Singapore. MATE NL Paul Holmes - Higgin UK Mathias Mathematics Dr Ron Knott UK MATRUSKA Language Research Audun Toennesen Norway MAX AUDIOMETRIC Testing System Medical diagnosis. David Lypka, Errol Davis. Canada Max Decision Support Bhargava, Bieber, Kimbrough USA MCDS manufacturing systems G Kovacs-Istvan, M-S Kopacsi Hungary McExpert Decision Support David McSherry UK Medical Expert Diagnostic System Medical - GP Imperial Cancer Research Foundation UK MedPro Medical records and billing. Steve Luck. Canada. MEGALOG Database implementation Michael Dahment Germany MESSE medical treatment IQSOFT Hungary MINOTAURO 1000 Train dispatching and control. A Trias. Spain. MINOTAURO 3000 Train dispatching and control. X Fustero et al Spain MIS Program synthesis Ehud Y. Shapiro USA Mixtus 0.3.3 CASE Tool Dan Sahlin Sweden MM4 Weather Modelling System Weather Forecasting Penn State U, Nat Center for Atmos Res USA MMI2 Multimodal interfaces / Expert systems Esprit II Consortium Belgium, UK, France, Spain MODEL OODB Object-Oriented Databases. Prof. Dan Buehrer. Taiwan MOP2 Project management, manpower planning and recording Roger Scowen UK Morphological Analysis of Hungarian Texts Natural language Z. Kiss, G. Proszeki et al Hungary MPSSS - Multipurpose Substation Simulator Shell Power Systems Training Dept System Planning Hungary MTN Teleprocessing Networks SZKI Hungary N Derivatives of Composite Real Functions Mathematics V. Kofalusi, E. Halmai Hungary Name matching Office procedures Graeme Smith UK NeoMail Communications. A Petukhov, D Campbell. Canada / Russia. NEST Network design Christine Jouve & Fabienne Balfroid France Nestor Telecom maintenance A Andersson, R Fogelholm et al Sweden Network Management Retail network management Quintec Systems Ltd UK NORMALIZER Legal drafting C S. Saxon, L E. Allen USA Objective-Prolog OO Mattias Waldau Sweden Oceanic Insurance systems design SOCS France OF Activity Planning Audun Toennesen Norway OLP TOOL Cristina Ruggieri, Sancassani Italy OMAR Aircraft Scheduling Momigliano, Paltrinieri, Torquati Italy ONE-LEVEL WORKSHOP PLANNER Computer-aided design Z. Markusz Hungary ORA Operational Rations Advisor Expert system Army logistics R Reeves U.S.A. Opium CASE tool Mireille Ducasse' and Anna-Maria Emde Germany Optimist Oil exploration Turing Institute Ltd., Glasgow, UK UK OPUSPC Airline Planning Andrew Parrett; Finn Groenskov Denmark OSM Medical information systems John Fox, et al. UK OTAS Financial T. Huynh, Catherine Lassez USA P/FDM OODB Suzanne Embury UK PAGAI Intelligent Databases Henrik Zangenberg Denmark PARAFLOG Dataflow Modelling A. Doman Hungary PC-PARLOG and MAC PARLOG Parallel programming Tom Conlon and Steve Gregory UK PCM Configuration management System Engineering Research Group UK PCUBE or P3 Production and other scheduling Katalin Szenes & Peter Forro Hungary PDS - diagnosis system Program debugging Ehud Y. Shapiro USA PEP2 NL Bourgois et al Germany Peptides Model Prediction System Pharmaceutical research F. Darvas, A. Lopata et al Hungary Perfect Pitch Sports medecine Michael Brown Australia Personal Notekeeper Secure electronic notebook Stefan Lago. Switzerland. PESKY Quarantine, Management of Nature Reserves, Farming W Bottomley, RW Sutherst Australia. Pests and pesticides Retrieval Systems I. Futo, F. Darvas, P. Szeredi Hungary PFT Chemical industry. COSYTEC France PHARGEST Drugs inventory management P Boulanger A Wodon et al Belgium, Tchad PHOEBUS CAD C Rominger, Geffroy, Soulas, Guibout France Phoebus Systems testing C. Rominger, J.C.Geffroy et al France Phosulk Conservation Agriculture Michael Brown Australia PI Theorem proving Lars-Henrik Eriksson Sweden Pictorial Janus Program Visualization Ken Kahn et al USA PigE farm management. J Black, J Fleming et al Australia PISSARRA Train Maintenance Jose A. Marques et al Spain PLANE: planification evolution Scheduling. Jacques Bellone. France. Planning buildings Architecture, Planning Z. Markusz Hungary Planning of panel buildings Computer aided design Z. Markusz Hungary PLASMA Re-Engineering. Computer Applications Corp Japan. PLASTIC Train control centre. Antoni Trias. Spain. PLASYNT Combinational logic synthesis Mats Carlsson Sweden Practitioner Awards KBS Pensions administration Gerry Piper UK PRECIS Systems analysis and design John Warren, Basil Barnett UK Preditor Electronics Design Peter Reintjes USA PRESS Program Semantics Roger Scowen UK Print-A-Form Form Processing. Norths Winds & Deluxe Check Printer Inc. USA. Pro*CONSUL Communications design Peter Ecsedi-Toth Hungary Pro-Sylvia Agriculture Michel Rueher, Bruno Legeard France PROCAPS Electronic scheduling BIM Belgium, Netherlands ProdAction Manufacturing Scheduling Ignacio, A Kromer, A Scheuer. Argentina. PRODATA RDBMS Rob Lucus England Prof'Expert Computer based training. J-P Baer, M-L Carrera et al Switzerland. PROGART Software applications E. Halmay, P. Gero Hungary PROLAB Medical Peter Hammond et al UK PROLEX Expert system Julius Csonto Czechoslovakia PROLOG VERIFIER Program verification K.Balogh Hungary PROM Institute of Theoretical Computer Science T. Kielmann Germany PROM Systems Programming/ Computer architecture K. Balogh, Z. Farkset al Hungary PROMOTEX Automobile diagnosis Reinhardt Skuppin Germany Propagator TOOL Ming Xi Tang UK PROSPEX Process scheduling SIRA UK Protee Biology research Le Dizes France Protein Structure Genetics research Chris Rawlings, John Fox et al UK Protein Structure Prediction Molecular biology Caltech USA ProTest TOOL Dr I D Watson & Norman UK PULSE STREAM CLASSIFIER Radar/ EW Gregory Bourassa Canada PX Telephone Attendant Telephony Application Larry Brunet Canada Rapidforms Contractor Form Template Form Processing. North Winds. USA. Rapidforms Tax Forms Template Form Processing. North Winds. USA. $RD Software Develpment Harry Brown UK Real Time ABLE compiler Multi-agent systems domains Peter Wavish UK REDO Window Manager TOOL P. Breuer & Papapanagiotakis UK REKPERT PLUS (Rectification Knowledge based Ex Sys) Chemical Engineering U of Dortmund Germany REPROBATE Validation. C.P.W. Hornsby, M.J. Metcalfe. U. K. RIGEN Financial Modelling Brian Read Italy ROADS Communication networks R.Schloeglhofer; M.Puchhammer Austria RoadWeather Pro Weather Prediction Elmar R. Reiter and Luiz Teixeira USA SALI Power distribution Vlado Milosevic Switzerland SAME Systems design Tom Docker New Zealand SAMPLE Knowledge Representation A.H. Gleibman, A.G. Sokolsky Russia SANOCOR Preventive Medicine Audun Toennesen Norway SAR Electrical dispatching. Antoni Trias and programmers team. Spain. SCE TOOL Hans Nilsson Sweden Scheduling and Planning Car Manfacturing Quintec Systems Ltd UK Schikorre Power distribution Dr Lutz Plumer & Baumbach Germany SCORE Airline Fleet Management Dan Ole Johansen Denmark Scrivenerยช Legal drafting Dianoetic Development Company USA SD-Scicon Analyst System Computer Aided Software Engineering SD-Scicon UK SEAP (Systeme expert d'alerte precoce) Famine Prediction P-M BOULANGER (ADRASS) Belgium, Mali SECReTS Financial advice Formula plu Italy SEED Software Development Betty Cheng & Gannod USA SEILBAHN Transport design H. Geschwindner. Germany/Austria. SEL Compiler PAR Giancarlo Succi Italy SERPES Water Engineering Charles Hornsby; Mike Metcalfe England Sesam-Chimio Hypertext system Medical information I. de Zegher, Philippe Jassem Belgium SEXSY (Scholarship Expert System) Legislation advice Dick Schrauwen, M Carrasquer Netherlands. Simapro Environmental product analysis R. Heule/L. van Oers et al Holland. SIMPOS Operating systems ICOT Japan SINTESIS Software Development I Ramos et al Spain SIPS- Inductive Analysis CIM Guido Cosemans Belgium SIRIUS Train dispatching and control. Xavier Fustero and programmers team. Spain. SKIL CASE D Galmiche, Conraud, & Herman France Skilaki Expert systems Marek Sergot and Yannis Cosmadopoulos UK SMES Monitoring. Dr. Oskar Bartenstein. Japan. SMI OODB Qutaishat, Fiddian, & Gray UK SMS Mathematics V. Kofalusi Hungary Solitaire Foundation Planning Planning D. Holnapy Hungary Sonar performance Sonar design Thomson SIntra ASM, Toulon France SPADE Software Development Ian M O'Neill UK Speech synthesis Speech synthesis York University UK SRI Business Analysis Systems analysis SRI International USA SSPA PLAN Brint et al UK SSTREN CBT for mentally impaired Sigve B_ Norway. Staff Staff Scheduling Jens Kjaerum; Lars Malmgren-Hansen Denmark STRAND88 Programming System Symbolic Parallel processing RGT Barnes MA Gittins et al UK Studygram NL Peter Greenfield et al UK SXL Software Development Stanley Lee USA SYLAE expert systems interface IBM Paris France SYLLOG Deductive database; NL query Adrian Walker; D Tzoar et al USA System 9 Hospital information Dr. Bart Van den Bosch Belgium Tangram Teaching programming A. Lucci France TARIFICA DATABASE Telecommunications Costing David Whitgift (of Logica plc), David Wightman UK TEMA Installation program. Sigve B_ Norway. Term Refiner/Browser Relational Databases Paul Holmes-Higgin England Termbase. Natural Language Processing, Computer Aided Translation. Mr. V. Srinivasan. Germany. TES (TErm rewriting System) Programming methodology R Dietrich, W Wagner et al Germany. Testing computer architectures Computer architecture design V. Kiss, G. Simor Hungary TEX4 CASE/Document Research. M Cavanagh, D. Campbell. Canada. THE MANAGER'S EDGE Group Dynamics. Mighetto and Associates. USA. T-Prolog Interpreter Programming languages I. Futo, J.Szeredi, K. Szenes Hungary Theorist-S Theory R Goebel, D Poole, K Furukawa Canada, Japan TMDS Comm -Tandem Maintenance and Diagnostic Sys Comms Computer Diagnostics R McRee/H McKelvey et al U.S.A. TML Genealogy System Genealogy. T. Michael Louden. U.S.A. TOERNOOI ASSISTENT Tennis Administration J.G. de Lint Netherlands. TopNet Network design BIM Belgium TransLexis dictionary conversion Natural Language Processing R. Wirth Germany TWAICE knowledgebased system AI Centre; AP333 Germany UBL Problem solving IBM France France UNZ & Co. Export Software RANDY. North Winds and UNZ & Co. USA. US Export Control Expert System Shipping regulations Quintec Systems UK Ushell Programming environments L. Umit Yalcinalp USA UTI medical treatment IQSOFT Hungary VALERE Environmental analysis. Guideo Cosemans. Belgium. Vascular Surgery decision support Medical decision support P Soper, G Abeysinghe ed al UK Vegetation Management Tools Forest management E Mason; D Geddes et al New Zealand VEX/ATL Telephone networks Mark Plotnick, Infologics AB Sweden View Creation System Database design Dr. Glen Cooper, Dr. Goldstein Canada VLSI Test pattern generator Electronic design Rajiv Gupta USA VOR (VHF Omnidirectional Range) Simulator Real Time simulation. J Hakim, D Campbell. Canada. VORAN/ABS Banking advice IQSOFT Hungary VSTA Digital design Fuyau Lin, Shih, Ling & Davis USA WADNES Water Distribution Paul Holmes-Higgin; Andrew Langdon England WALLS Engineering design Sharon Sickel Beach & Brian Beach USA Weeds In Sugar Cane Agriculture Coulston, Smith and Tilley Australia WHALE Logistic. COSYTEC France. WIESSE Water Engineering Paul Holmes-Higgin; Charles Hornsby England WSUFP Functional programming Chris Fickert. U.S.A. XLSIOR Insurance Martin Wood, Corlett, & Hopson UK XPL (eXplanation for ProLog) Expert System Shells L. Umit Yalcinalp USA XTEL Techn. configuration. Mr. Thuy, Mr. Schnupp. Germany. XWIN Graphical interface. COSYTEC. France. Ytoolkit Graphics Jose' Paulo Leal, Luis Damas Portugal ZEXPERT Finance Zsuzsa Farkas et al Austria --------------------------------------------------------
Technical Details
Message-ID:
<1cr6qrINNd1a@swan.doc.ic.ac.uk>Path:
arc1-ca.pugleaf.net!sparky!uunet!gatech!usenet.ins.cwru.edu!agate!doc.ic.ac.uk!doc.ic.ac.uk!not-for-mailShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!gatech!usenet.ins.cwru.edu!agate!doc.ic.ac.uk!doc.ic.ac.uk!not-for-mail From: cdsm@doc.ic.ac.uk (Chris D S Moss) Newsgroups: comp.lang.prolog Subject: Halfway to the Prolog thousand (long) Date: 30 Oct 1992 11:38:03 -0000 Organization: Department of Computing, Imperial College, University of London, UK. Lines: 427 Distribution: world Message-ID: <1cr6qrINNd1a@swan.doc.ic.ac.uk> NNTP-Posting-Host: swan.doc.ic.ac.uk