Theory and methodology of neural networks; medical applications; industrial applications; neural network simulation tools; and connectionism and cognitive modeling.
Implementation of general Constraint Logic Programming scheme introduced by Jaffar, Michaylov 1987. As full as other CLP(R)s: solves linear equations over rational or real valued variables, and covers lazy treatment of nonlinear equations.