Model for Sequential Logic Built from Combinatorial Logic Elements and Its Implementation in PROLOG %R ANL-84-89 %D SEP 1984 %I Argonne National Labs Mathematics and Computer Science Division %A E. Lusk %A R. Overbeek %T Comment atteindre le milliard d'inferences par seconde %J Intelligence Artificielle et Productique %V 3 %D NOV 1984 %P 5-7 %O (in French) %X describes work on the Denelcor Hep to get high number of logic inferences per second %A E. Lusk %A R. Overbeek %T Non-Horn Problems %J JAR %V 1 %N 1 %P 103-114 %D FEB 1985 %X Problems illustrating difficulties when a problem cannot be formulated naturally in Horn clauses %A E. L. Lusk %A R. A. Overbeek %T Research Topics: Multiprocessing Algorithms for Computational Logic %R MCS-TM-31 %