jwmills@iuvax.cs.indiana.edu (Jonathan Mills) (10/25/90)
1990 NACLP Workshop on Logic Programming Architectures and Implementations 2:00pm - 7:30pm Thursday Afternoon (with dinner break) November 1st, following NACLP'90 Hyatt Regency Hotel Austin Texas USA Sequential implementation techniques and extensions to the Warren abstract Prolog machine (the WAM) form the core of many Prolog implementations, both sequential and parallel. The presentations in this workshop describe previously unpublished issues in Prolog implementation, and record the current state of the art in the WAM as a foundation architecture for Prolog and its extensions to higher-order, deductive database, and constraint logic programming. Program Session 1: Sequential Implementation Techniques ------------------------------------------------ Session Chairman: J. Mills "Variable Shunting for the WAM" M. Carlsson and D. Sahlin, SICS "The Making of the Aquarius Prolog System" P. Van Roy, UC Berkeley, and A. Despain, USC "Garbage Collection for Prolog Based on Twin Cells" J. Schimpf, ECRC "Tail-recursion versus Iteration in Prolog" M. Meier, ECRC Session 2: WAM Architectures and Extensions -------------------------------------------- Session Chairman: M. Meier "Subrecursive Constraint Logic Programming" K. McAloon and C. Tretkoff, CUNY "Backtracking Management Unit for Prolog Implementation" V. Axaris and R. Sridhar, SUNY Buffalo "A Template Architecture for the WAM" J. Mills, Indiana University "The XWAM: A Machine that Integrates Prolog and Deductive Database Query Evaluation" D. S. Warren, SUNY Stoneybrook "A WAM Model for lambda-Prolog" G. Nadathur, Duke University , and B. Jarayman, SUNY Buffalo Proceedings of the workshop will be given to all authors. Attendees will receive proceedings according to availability.