ProLog and Modelling
PLAM is a modeling language designed to take advantage of the PROLOG programming environment. It is an algebraic modeler that allows the user to write their down their model in a more algebraic notation, similar to what AMPL and GAMS are capable of. PLAM can be used to format a model that can be shipped off to a variety of solvers. It is especially designed for Mixed-Integer Programming and Constraint Logic Programming. Should the user find there is not enough functionality in the PLAM package, they can use normal PROLOG constructs to help them write down the model. The user can use familiar PROLOG debuggers if the need arises. PLAM is free software.