Abstract Type in Prolog ?

Article View: comp.lang.prolog

Article #1683

#1683

From: Feng Yang
Date: Thu, 03 Jan 1991 15:47

22 lines
1026 bytes

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 +
*++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++*

Technical Details

Message-ID: <1991Jan3.154717.27057@watserv1.waterloo.edu>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!watserv1!watnow.waterloo.edu!yfeng

Show Full Headers

Complete Article Headers

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