By
Francesco Calimeri, University of Calabria, Italy
Pascal Hitzler, Wright State University, USA
Category: Feature Articles
Solving the Car Sequencing Problem with Constraint Logic Programming in the Automotive Industry
Solving the Car Sequencing Problem with Constraint Logic Programming in the Automotive Industry by Thorsten Winterer Flexis AG, Stuttgart, Germany
An Alternative Approach for Implementing Prolog
by Sven Hager and Carl Friedrich Bolz
Heinrich-Heine Universitat Dusseldorf,
STUPS Group,
Germany
Reachability Analysis via Specialization of Constraint Logic Programs
By Fabio Fioravanti, University `G. D’Annunzio’, Pescara, Italy
Alberto Pettorossi, Valerio Senni, University of Rome Tor Vergata, Rome, Italy
Maurizio Proietti, CNR-IASI, Rome, Italy
Finding Answers and Generating Explanations for Complex Biomedical Queries using Answer Set Programming
By Esra Erdem
Sabanci University
Istanbul, Turkey.
CLP(FD) Systems Foreword
By Roman Bartak and Tom Schrijvers
Probabilistic Prolog Systems
Probabilistic Prolog Systems, by Luc De Raedt, Angelika Kimmig, Vitor Santos Costa (and many others)
Constraint Logic Programming in SWI-Prolog
By Markus Triska
SAT solver of Howe & King as a logic program
by Włodzimierz Drabent, Institute of Computer Science, Polish Academy of Sciences, and IDA, Linköpings universitet, Sweden.
Finite Domain Constraints in SICStus Prolog
By Mats Carlsson, SICS