An Ada-Prolog System.
STANFORD UNIV CA COMPUTER SYSTEMS LAB
Pagination or Media Count:
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.
- Computer Programming and Software