Logic for problem-solving
Extending the database relational model to capture more meaning
ACM Transactions on Database Systems (TODS)
Developing a natural language interface to complex data
ACM Transactions on Database Systems (TODS)
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
A relational model of data for large shared data banks
Communications of the ACM
Logic and Data Bases
REL: A Rapidly Extensible Language system
ACM '69 Proceedings of the 1969 24th national conference
Prolog - the language and its implementation compared with Lisp
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Towards an expert system for bibliographical retrieval: a Prolog prototype
SIGIR '87 Proceedings of the 10th annual international ACM SIGIR conference on Research and development in information retrieval
Efficient Database Access from Prolog
IEEE Transactions on Software Engineering
Conceptual representation for knowledge bases and information retrieval systems
SIGIR '88 Proceedings of the 11th annual international ACM SIGIR conference on Research and development in information retrieval
Prolog-Based Meta-rules for Relational Database Representation and Manipulation
IEEE Transactions on Software Engineering
Stream driven query processing in a database
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
An expert system for bibliographic retrieval using Prolog
CSC '87 Proceedings of the 15th annual conference on Computer Science
Saving traces for Ada debugging
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
Making smalltalk a database system
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
How to Talk to Your Computer so that It Will Listen
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Execution of logic programs on a dataflow architecture
ISCA '84 Proceedings of the 11th annual international symposium on Computer architecture
The Fifth Generation grail: A survey of related research
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Translating Spanish into logic through logic
Computational Linguistics
Acquisition of conceptual data models from natural language descriptions
EACL '87 Proceedings of the third conference on European chapter of the Association for Computational Linguistics
Functional dependencies in logic programs
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
Interpreting descriptions in a prolog-based knowledge representation system
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
| Hi-index | 0.00 |
The use of logic as a single tool for formalizing and implementing different aspects of database systems in a uniform manner is discussed. The discussion focuses on relational databases with deductive capabilities and very high-level querying and defining features. The computational interpretation of logic is briefly reviewed, and then several pros and cons concerning the description of data, programs, queries, and language parser in terms of logic programs are examined. The inadequacies are discussed, and it is shown that they can be overcome by the introduction of convenient extensions into logic programming. Finally, an experimental database query system with a natural language front end, implemented in PROLOG, is presented as an illustration of these concepts. A description of the latter from the user's point of view and a sample consultation session in Spanish are included.