Testbeds for Logic Programming and Very Large Databases
Kenneth A. Bowen · 1987
Abstract : This grant was funded under the Syracuse University Research Instrumentation program to purchase equipment in support of research in advanced logic programming and its application to artificial intelligence, especially extensions and enhancements to logic programming which include metalevel programming capabilities and concurrent execution. Equipment obtained under this grant included two Sun workstations, one Motorola C3I workstation testbed, and three Xenologic Prolog Accelerator boards. This equipment has led completion of research in theoretical capabilities of metaProlog and enabled the design and implementation of metaProlog and to carry out moderate scale knowledge base maintenance experiments. Keywords: Interfaces, Expert systems.