Logic programming

Lloyd, J.W., Foundations of Logic Programming, 2nd ed.. Springer-Verlag, Berlin, 1987. 

Thayse, A., From Standard Logic to Logic Programming. Wiley, New York, 1988. 

Darvas F. Predicting metabolic pathways by logic programming. J Mol Graph 1988 6 80-86. 

The path computation problem is formulated in terms of logic programming (Goto et al., 1997). The binary relation of X and Tis a fact denoted by ... 

Modern RTUs typically use a ladder-logic approach to programming due to its similarity to standard electrical circuits. An RTU that employs this ladder-logic programming is called a programmable logic controller (PLC). 

Artificial Intelligence, Logic Programming, and Statistics in Magnetic Resonance Imaging and Spectroscopic Analysis... 

Controls question performed in accordance with the design logic, programming, or other instructions. (This deals with the actual control operation or execution. It would not include control logic that is in the design category.)... 

Inductive logic programming (ILP) is not a pharmacophore generation method by itself, but a subfield of the machine learning approach. In this field, other methods such as hidden Markov models, Bayesian learning, decision trees and logic programs are available. 

King, R.D. and Srinivasan, A., Prediction of rodent carcinogenicity biossays from molecular structure using inductive logic programming, Environ. Health Perspect., 104 (Suppl. 5), 1031-1040, 1996. 

The model outlined above and its simple extension contain a theoretical possibility of how to direct the production of SPS towards the required product synthon. This very serious problem is partially overcome by making use of the concept of reaction distance only those new SPS are taken into account that have a smaller distance than their predecessor with respect to the product synthon. Recently, our activity in this field has been concentrated on an application of tools of logical programming for implementation of some principal rules of chemical reactivity. 

Vol. 1111 J.J. Alferes, L. Moniz Pereira, Reasoning with Logic Programming. XXI, 326 pages. 1996. (Subseries... 

Vol. 1139 M. Hanus, M. Rogriguez-Artalejo (Eds.), Algebraic and Logic Programming. Proceedings, 1996. 

---