From sudarsha@pooh.cs.wisc.edu Thu Aug 20 14:22:00 1992
Received: from pooh.cs.wisc.edu by quarg.cs.wisc.edu; Thu, 20 Aug 92 14:21:49 -0500
Date: Thu, 20 Aug 92 14:21:47 -0500
From: sudarsha@pooh.cs.wisc.edu (S. Sudarshan)
Message-Id: <9208201921.AA09417@pooh.cs.wisc.edu>
Received: by pooh.cs.wisc.edu; Thu, 20 Aug 92 14:21:47 -0500
To: divesh@pooh.cs.wisc.edu, praveen@pooh.cs.wisc.edu, raghu@pooh.cs.wisc.edu
Subject: mail from Tarun
Status: RO
--------------------
>From arora@velma.cs.wisc.edu Thu Aug 20 00:05:48 1992
Received: from velma.cs.wisc.edu by pooh.cs.wisc.edu; Thu, 20 Aug 92 00:05:47 -0500
Date: Thu, 20 Aug 92 00:05:46 -0500
From: arora@velma.cs.wisc.edu (Tarun Arora)
Message-Id: <9208200505.AA27746@velma.cs.wisc.edu>
Received: by velma.cs.wisc.edu; Thu, 20 Aug 92 00:05:46 -0500
To: sudarshan@velma.cs.wisc.edu
Status: R
Hi!
I have put in all the files I had checked out. The files that have been
changed are:
builtin-rel.h
builtin-syms.h
gennum.h
arg.h
generic-rel.h
arg.C
gennum.C
builtin-rel.C
generic-rel.C
grouping.C
user-builtin1.C
scanner.l
gram.y
The changes :
Functor, Arg, Univ, Member, Memtuple, Call added.
Operators lshift, rshift, exclusive-or, bitwise-and, mod added.
Print now accepts format strings.
Sprint works for integer and double.
Sprint functions also accept bindenv as the third argument.
Syntax for functions added:
?functor(T, F, N)
Structure T with functor F and arity N.
?arg(T, F, N)
T - number of argument
F - functor
N - Argument
?univ(X, Y)
Basically, X =.. Y
Y is the list consisting of the functor X followed by the arguments
of X.
exor : Z = X ^ Y
bitwise and : Z = X & Y
left shift : Z = X << Y
right shift: Z = X >> Y
mod : X $$ Y (I had thought of using mod as the operator but
the scanner cannot accept words because of rewriting.
$$ can be changed later. )
?member(X, A, B, ..)
X can be the relation, string, functor and A, B.. are the
arguments of the relation.
?memtuple(X, A).
X is the same as above.
Y is returned as a tuple(functor with no name - for now)
?call(X(A, B..))
X is relation and arguments A, B...
Right now the type of X has to be COR_FUNCTOR.
---------------------------------------------------------------------------
I am not sure if I will be able to come in tomorrow. I have added
you to my rhosts file, in case you want to login to my account.
Thanks,
Tarun