PROLOG

Uses raw data from field tests to compute hydraulic conductivity computed value is evaluated by the expert system for its correctness with regard to these considerations site-specific geological characteristics, validity of test procedures, accuracy of the raw data, and the computational method. System is written in Arity-Prolog on a PC. 

PlotStyle Automatic, Prologs, RotateLabel True, Ticks Automatic, DefaultFont DefaultFont, DisplayFunction DisplayFunction,... 

Prolog, Shading True,SphericalRegion False, Ticks Automatic,ViewCenter Automatic,... 

Other familiar languages may be C, ADA, LISP, ALGOL, PL/I, Prolog, and APL which are now available on many microcomputer systems. 

Clocksin, W.F., and Mellish, C.S., Programming in Prolog. Springer-Verlag, Berlin (1984). Dantzig, G.B., Linear Programming and Extensions. Princeton University Press, Princeton, NJ, 1963. 

Logical computer languages (e.g., PROLOG, LISP) by logical Hnks... 

The remaining cases reclassified by Prolog and Helmchen are tetrahedral centers with four distinct ligands, of which two and only two are enantiomorphic ligands in diastereotopic positions (as in 16a, Fig. S). These centers were originally regarded as pseudoasymmetric (39), and had received descriptors that did not change on reflection. Therefore, no anomaly had to be corrected. When these centers were reclassified as chiral (5), the Sequence Rule was also modified ... 

This is all prolog material to the implications of a recent and preliminary experiment recently conducted at Purdue. Using a vacuum e-beam melting technique a solid Al-Ga-In-Sn alloy with a composition of 95 vt% A1 and 5 wt% Ga-In-Sn (95-51 was fabricated. This turns out to be a major breakthrough technologically and economically. 

Colmerauer, A, Janoui, H Caneghen, M, "Prolog, bases theoriques et developpements actuels" Technique et Science Informatique 1983, 4, 271. 

The general grammars and the mixture of declarative and procedural Prolog code allows easy grammar rule writing for other reactions. As an additional example, consider heterocyclic rings. The grammar rule... 

Curly braces allow direct inclusion of Prolog terms within DCG grammars (the terms are not translated). In this case, the member predicate tests the value of the Heteroatom variable for membership in a list of heteroatoms. 

A sample inference mechanism using these facts (given the natural backward chaining of Prolog) might be... 

A predicate called wln-order occurs within the makejsynthon predicate. This predicate builds a graph from the pseudo-WLN (using WLN Rule 8(a)) and possibly reorders the graph as described below. The following Prolog code describes this manipulation ... 

This paper has primarily stressed concepts rather than implementation details. A prototype system based on these concepts has been implemented, with concentration in the cyclohexene domain. The entire system, including grammars, the FMO verification, and WLN manipulation required only 12 pages of Prolog code. Although execution speed was never considered a factor at this stage, the system performs the disconnection... 

Clocksin, W. F. and C. S. Mellish, Programming in Prolog, Springer-Verlag, Berlin, 1981. 

Our research on human tissue discrimination methods deriving from MRI parameters is leading to the evolution of prescribed statistical methods for data screening, normalization and discrimination. These are driven by Prolog. In Prolog, sets of logical inferences... 

Decision Trees provide the overall structure for problem resolution in the current system. The outcome of a test at a particular node in the tree is recorded and directs the next decision for branching. If a failure is encountered at all possible branches, the un-resolved problem is passed back up to the node at which there last existed a possible, untested, solution. Prolog lends itself nicely to this structure since its basic architecture includes decision-making via such a "depth-first" search strategy(2)... 

While a great many other techniques may be employed to ensure a consistent, and efficient, logic-driven software, the techniques described above are the primary drivers for the effective resolution of goals in the prototype expert system MRILJ/XL.ESP. Once a detailed accounting is made of the characteristics which fully describe input and output, providing Prolog code is quite easily accomplished. 

---