Thomas Jeffré

Learn More
KCM (Knowledge Crunching Machine) is a high-performance back-end processor which, coupled to a UNIX<supscrpt>*</supscrpt> desk-top workstation, provides a powerful and user-friendly Prolog environment catering for both development and execution of significant Prolog applications. This paper gives a general overview of the architecture of KCM stressing some(More)
  • 1