File Searching Problems in Logic Programming Systems.

Abstract : During this period, the investigator intended to investigate alternative approaches for improving searching performance in logic programming systems to a level that would be acceptable in a production system by conducting experiments in the LOGLISP system. Due to incompatibilities between the DEC 10 source computer and the CDC CYBER 760 running under NOS, which was available at Florida State University, as well as the differences between the UCI LISP on the DEC 10 and the ALISP available on the CYBER, it was impossible to bring the LOGLISP system to fully operational status and perform the experiments. (Author)