1. Prolog language description, version 1.0;Bell Northern Research,1988
2. Knowledge-based formulation of linear planning models;Binbasioglu,1987
3. Optimization with constraint programming systems;Brown,1988
4. Opening the Prolog III universe;Colmerauer;Byte Magazine,1987
5. Trilogy user's guide;Complete Logic Systems,1987