Testbeds for Logic Programming and Very Large Databases
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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Sep 30, 1987
- Accession Number
- ADA209632
Entities
People
- Kenneth A. Bowen
Organizations
- Syracuse University