Path: utzoo!utgpu!utcsri!qucis!feret
From: feret@qucis.UUCP (Michel Feret)
Newsgroups: comp.lang.prolog
Subject: arrays in logic programming
Message-ID: <110@qusunb.UUCP>
Date: 27 Jun 88 17:18:57 GMT
Article-I.D.: qusunb.110
Organization: Queen's University, Kingston, Ontario, Canada
Lines: 11
Keywords: arrays, data structures, Nial, logic programming


	I'm currently working on an implementation of a Resolution theorem 
prover written in Nial (Nested Interactive Array Language) . Nial uses
nested  multi-dimensional collections of basic objects (integers, truth
values, complex numbers, ...) called nested arrays. We are using these 
arrays as logical terms in the logic programming component of Nial . 
	I'm looking for theorem provers using more complex data structures 
than lists, and being able to perform unification over these data structures.
	Any references, pointers, addresses, ... will be welcomed. 

Michel Feret.