Gracefully adding negation and disjunction to Prolog
Proceedings on Third international conference on logic programming
Fuzzy information management using the roster model
Proceedings of the Twenty-First Annual Hawaii International Conference on Decision Support and Knowledge Based Systems Track
A logical basis for nested array data structures
Computer Languages
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
An Efficient Unification Algorithm
ACM Transactions on Programming Languages and Systems (TOPLAS)
Optimizing decision trees through heuristically guided search
Communications of the ACM
Logic for Problem Solving
Proceedings of the 7th International Conference on Automated Deduction
STOC '76 Proceedings of the eighth annual ACM symposium on Theory of computing
Hi-index | 0.00 |
Nial is a programming language designed around a mathematical treatment of data as nested arrays. A goal of the research described is to integrate within Nial a functional style of programming based on the theory of arrays with the declarative capabilities of a logic programming environment. This is partially accomplished by storing logic clauses as arrays which can be manipulated using logic clauses. Arrays as terms are considered as part of the syntax of the clauses. The approach to logic programming is based on providing a flexible environment for experimenting with full clausal or Horn clause logic. A variety of predefined control strategies and the capability for user-defined control strategies have been provided. The expressive capabilities of combining logic and functional programming styles provides a suitable language for many application areas. The philosophy and design behind a combined logic/database model used to prototype a knowledge-based systems application are described.