An Ada-Prolog System.
Abstract
This paper presents a software development tool - the Ada Prolog system which combines the strengths of both descriptive and procedural programming styles. Concrete reasons and examples are provided to demonstrate that such a tool would be useful. This tool provides various operations available in Prolog for clause building, database building and querying to Ada programs. In addition to allowing dynamic access to both Ada and Prolog, the Ad Prolog system adds to the functionality provided by Prolog by partitioning the Prolog database into lists of clauses. These lists can be created, updated and destroyed dynamically. Concurrent access to the list of clauses is also possible. Queries can be directed to groups of these lists. The system is meant for use in expert systems, compilers, database applications, rapid prototyping systems, advanced environments, and other software tools which use deduction.
Document Details
- Document Type
- Technical Report
- Publication Date
- Aug 01, 1990
- Accession Number
- ADA314223
Entities
People
- Neel Madhav
Organizations
- Stanford University