Computational Logic Course Material
Resolution, Logic Programming, and Constraint Logic Programming
Acknowledgments
The following people have greatly contributed to the course material over the years:
-
Manuel Hermenegildo, Technical University of Madrid and
IMDEA Software Institute, Spain
- Francisco Bueno, Technical University of Madrid,
Spain
- Manuel Carro, Technical University of Madrid and
IMDEA Software Institute, Spain
- Pedro López, CSIC and IMDEA Software
Institute, Spain
- José Francisco Morales, Technical University of
Madrid and IMDEA Software Institute, Spain
- Miguel García remesal, Technical University of
Madrid, Spain
- Mari Carmen Suárez de Figueroa, Technical
University of Madrid, Spain
- Isabel García Contreras, IMDEA Software
Institute, Spain
- Daniel Cabeza, Technical University of Madrid,
Spain
- María José García de la
Banda, Monash University, Australia
- David H. D. Warren, University of Bristol, U.K.
- Ulrich Neumerkel, Technical University of
Vienna, Austria
- Michael Codish, Ben Gurion University, Israel
- Michael Covington, The University of Georgia,
U.S.A.
