Degree planning and course scheduling are approached through a combination of
deductive, inductive and abductive logic programming techniques. It is part of
a research project at CTEST labs used to
explore:
  • logic programming techniques
  • computational linguistics
  • multiparadigm architectures
  • parallel programming structures e.g. (MIMD,SIMD)