CLIP

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.