PLAM

ProLog And Modeling

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.

Requirements:

You need a Prolog-system and an LP-solver (either integrated in the Prolog System or stand-alone). It runs best under the commercial system SICStus-Prolog V3 http://www.sics.se/ps/sicstus.html and the free system SWI-Prolog. It supports the builtin LP-solver of SICStus-Prolog V3, the commercial LP-solver CPLEX, and the free LP-solver lp_solve. Furthermore, the solver independent MPS-format of MILP problems can be produced.

Need more info?

Visit the PLAM homepage.

Or contact:

Peter Barth
Max-Planck-Institut fuer Informatik
Im Stadtwald
66123 Saarbruecken, Germany

Phone: (800) 225-3782, (508) 777-9069
Fax: (508) 777-9068.

Reference:

The PLAM package along with available documentation is available by anonymous ftp.

Comments and bug reports can be sent to the author of PLAM by sending email to barth@mpi-sb.mpg.de

[ Optimization Software Guide | OTC Home Page | NEOS Server | NEOS Guide ]