Newsgroups: comp.lang.prolog
Path: utzoo!utgpu!watserv1!watnow.waterloo.edu!yfeng
From: yfeng@watnow.waterloo.edu (Feng Yang)
Subject: Abstract Type in Prolog ?
Message-ID: <1991Jan3.154717.27057@watserv1.waterloo.edu>
Sender: daemon@watserv1.waterloo.edu
Organization: University of Waterloo
Date: Thu, 3 Jan 91 15:47:17 GMT
Lines: 22

Hello there !

I am wondering if prolog can be used to represent abstract data type. 
For example: an axiomatic specification of stack is something like:

top(push(i,s)) = i
isemptystack(createstack) = true
isemptystack(push(i,s)) = false
pop(push(i,s)) = s

Can this set of axioms be represented in prolog directly ?

Thanks in advance.

Feng


--
*++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++*
+ Feng Yang (yfeng@watnow.waterloo.edu)                                    +
+ Dept. of Systems Design Engineering,  University of Waterloo, ON, Canada +
*++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++*