arrays in logic programming

Article View: comp.lang.prolog

Article #3433

#3433

From: Michel Feret
Date: Mon, 27 Jun 1988 17:18

11 lines
956 bytes

	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.

Technical Details

Message-ID: <110@qusunb.UUCP>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!utcsri!qucis!feret

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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