Issue No. 03 - September (1991 vol. 3)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/69.91061
<p>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.</p>
Nial; programming language; mathematical treatment; nested arrays; functional style; declarative capabilities; logic programming environment; logic clauses; Horn clause logic; user-defined control strategies; functional programming; knowledge-based systems application; functional programming; high level languages; logic programming
M. Féret, M. Jenkins, E. Blevis and J. Glasgow, "Logic Programming with Arrays," in IEEE Transactions on Knowledge & Data Engineering, vol. 3, no. , pp. 307-319, 1991.