[comp.lang.prolog] UNSW Prolog

oz@yunexus.UUCP (Ozan Yigit) (02/13/88)

I have, earlier on comp.sources.d, mentioned that I picked
up the sources for UNSW prolog from a recent RSX-11 DECUS tape,
and that I indend to post it to usenet. Aside from "please post"
type of mail, one person did remind me that this prolog was
available directly from its author years ago, and at that time
some paperwork was required to get it.

A readme file in the DECUS submission indicated that this software
was "picked off the net", where "net" is probably the Australian
leg of usenet, or some other network. This is what was in READ.ME:

| This is UNSW Prolog off the net. It is PD distributable but not for
| profit. These sources will run on VMS or Unix.
| 

So, if somebody who knows the situation could clarify for me, it
would be much appreciated. Especially if somebody knows the e-mail
address for Claude Sammut, please do tell. I will make an effort to
contact him, if he is reachable. Failing that, I will try to trace
the submitter to the RSX tape and the U. of New South Wales. Failing
both, I will assume that the readme is correct, and I will post the
sources.

oz
-- 
Those who lose the sight	     Usenet: [decvax|ihnp4]!utzoo!yunexus!oz
of what is really important 	    	     ......!seismo!mnetor!yunexus!oz
are destined to become 		     Bitnet: oz@[yusol|yulibra|yuyetti]
irrelevant.	    - anon	     Phonet: +1 416 736-5257 x 3976

daveh@cheops.OZ (David Hume) (02/22/88)

> So, if somebody who knows the situation could clarify for me, it
> would be much appreciated. Especially if somebody knows the e-mail
> address for Claude Sammut, please do tell. I will make an effort to
> contact him, if he is reachable. Failing that, I will try to trace
> the submitter to the RSX tape and the U. of New South Wales. Failing
> both, I will assume that the readme is correct, and I will post the
> sources.

Do not dare post UNSW-Prolog to the net, or you will face criminal prosecution!
(Claude Sammut's net address currently is "claude@turing.ac.uk").
I am in charge of the distribution of UNSW-Prolog at the moment, and
for your information EVERY distribution must have the following license
agreement distributed with it:-


          Claude Sammut
          Department of Computer Science
          University of New South Wales
          P.O. Box 1
          Kensington, N.S.W. 2033
          Australia


          Dear Dr. Sammut,

          By this letter we agree to the following:

            o+ The use of the UNSW Prolog software will be limited to educa-
              tional and research purposes.

            o+ We will not distribute the UNSW Prolog software  without  the
              author's (Claude Sammut) prior written permission.

            o+ Copyright notices will be preserved in all  the  UNSW  Prolog
              software

            o+ There are no warranties, express or implied, with  regard  to
              the material provided. Accordingly, the author assumes no ob-
              ligation to provide any assistance of any kind whatsoever, or
              to furnish any additional material.

            o+ The UNSW Prolog  Programmer's  Manual  distributed  with  the
              software may be copied freely.

          Finally, it is understood that all ownership rights to  the  UNSW
          software  lies with Claude Sammut and the University of New South
          Wales.



          SIGNED:


          DATE:


          COMPANY:

oz@yunexus.UUCP (Ozan Yigit) (02/29/88)

In article <749@cheops.OZ> daveh@cheops.OZ (David Hume) writes:
>> So, if somebody who knows the situation could clarify for me, it
>> would be much appreciated.
>
>Do not dare post UNSW-Prolog to the net, or you will face criminal 
>prosecution!

I am sure you would want to re-word this sentence. There is no need
to issue threats. [I have received a private e-mail copy of this
"posting", and responded to it.] I have been in touch with the
Dr. Sammut, and received a response from him. I have no interest in
violating any copyrights or distribution restrictions, and that is
why I tried (and eventually succeeded) to contact the author.

At this point, Dr. Sammut does not wish the interpreter to be
distributed through usenet, for a number of reasons. Fair enough.

As for UNSW people, they should get in touch with DECUS US Library
folks, and request that the prolog submission in the RSX87A tape be
removed, as it appears to be an unauthorized submission. [It will
probably be a bit too late to stop it from getting around though...]

My apologies to those of you who were excited by the prospect of
seeing a nice and tidy prolog interpreter posted to the net. I
suggest that you obtain a copy the PD SB-Prolog system, an excellent
prolog system (+ compiler for WAM) by Saumya Debray.  For more
information, write to:

	SB-Prolog Distribution
	Dept. of Computer Science
	University of Arizona
	Tucson, AZ 85721, USA

SB-Prolog is available at the distribution cost from UofA ($20/$40).
You also do not risk "criminal prosecution" if you pass it to a
nearby site.

oz
-----
PS: I have no connection with the University of Arizona. I just like
what they have been doing in their CS Department.

-- 
... and they will all		Usenet: [decvax|ihnp4]!utzoo!yunexus!oz
bite the dust ... 	    		......!seismo!mnetor!yunexus!oz
	comprehensively. ...	Bitnet: oz@[yusol|yulibra|yuyetti]
Archbishop Tutu			Phonet: +1 416 736-5257 x 3976

tvf@cci632.UUCP (Tom Frauenhofer) (10/05/89)

Hello.  I have a copy of the source for UNSW prolog that I have spent a lot
of time hacking.  Anyway, I've modified it so that it uses the same syntax
as C Prolog, plus added a few of the "niceties" to it.  The one thing I am
lacking is the code for the 'retract' clause.  I am willing to hack this in,
but I was curious if anyone else had already done this.

After I have completed this, I will post my diffs to whatever bulletin board
is considered appropriate, and I will make the source available via
anonymous UUCP from my home system.

Thank you for your help.

Thomas V. Frauenhofer	...!rutgers!rochester!cci632!ccird7!tvf
*or* ...!rochester!kodak!swamps!frau!tvf *or* ...!attctc!swamps!frau!tvf
"The Earth? I'm going to blow it up.  It obstructs my view of Venus" - Martin

ntm1169@dsac.UUCP (Mott Given) (10/09/89)

From article <31019@cci632.UUCP>, by tvf@cci632.UUCP (Tom Frauenhofer):
> Hello.  I have a copy of the source for UNSW prolog that I have spent a lot
> ... , I will make the source available via anonymous UUCP from my home system

   What does UNSW in UNSW prolog stand for?

   How do you do anonymous UUCP to get the source code you offer?

-- 
Mott Given @ Defense Logistics Agency Systems Automation Center,
             DSAC-TMP, Bldg. 27-1, P.O. Box 1605, Columbus, OH 43216-5002
INTERNET:  mgiven@dsac.dla.mil   UUCP: ntm1169@dsacg1.uucp 
Phone:  614-238-9431  AUTOVON: 850-9431   FAX: 614-238-3214 I speak for myself

ok@cs.mu.oz.au (Richard O'Keefe) (10/09/89)

In article <1549@dsac.UUCP>, ntm1169@dsac.UUCP (Mott Given) writes:
: From article <31019@cci632.UUCP>, by tvf@cci632.UUCP (Tom Frauenhofer):
: > Hello.  I have a copy of the source for UNSW prolog that I have spent a lot
: > ... , I will make the source available via anonymous UUCP from my home system
:    What does UNSW in UNSW prolog stand for?
:    How do you do anonymous UUCP to get the source code you offer?

UNSW stands for "University of New South Wales" (in NSW, Australia).
The last time I checked, UNSW Prolog was *not* public domain and *not*
copylefted.  It really might be a good idea to check with Claude Sammut
(claude@spectrum.eecs.unsw.oz) before shipping copies of UNSW Prolog around.
If it turns out that UNSW Prolog _can_ be copied freely these days, it
would be a good idea for someone to post a message to that effect.

There are at least two Prolog systems which _can_ be distributed:
(a) Stony Brook Prolog is reasonably Edinburgh-compatible, and is covered by
    a GNU-style copyleft.  It has extension tables and other nice things.
(b) Berkeley Prolog is covered by a Berkeley copyright but can be distributed;
    I haven't tried it out yet, but it looks Edinburgh-ish and has a state-of-
    the-art garbage collector.

tvf@cci632.UUCP (Tom Frauenhofer) (10/09/89)

Okay, folks, there seems to be a problem with doing anything with UNSW
Prolog.  One person mentioned that Claude Sammut (the original author and
copyright holder) is not happy about the availability of this package.  Does
anyone have an e-mail address so I can get in touch with him about my
changes, and at least get his blessing to distributed my diffs to his
software?

By the way, if anyone has a retract for UNSW, I'm still interested.

Thomas V. Frauenhofer	...!rutgers!rochester!cci632!ccird7!tvf
*or* ...!rochester!kodak!swamps!frau!tvf *or* ...!attctc!swamps!frau!tvf
"The Earth? I'm going to blow it up.  It obstructs my view of Venus" - Martin

tvf@cci632.UUCP (Tom Frauenhofer) (10/10/89)

In article <1549@dsac.UUCP> ntm1169@dsac.UUCP (Mott Given) writes:
>From article <31019@cci632.UUCP>, by tvf@cci632.UUCP (Tom Frauenhofer):
>> Hello.  I have a copy of the source for UNSW prolog that I have spent a lot
>> ... , I will make the source available via anonymous UUCP from my home system
>   How do you do anonymous UUCP to get the source code you offer?

As many people have pointed out, I do not have authorization to distribute
the source code.  Until such time as I do, I will not make it available.  If
I ever get such authorization, I will post the relevant details.  Sorry.

(I posted this rather than mailing it to make this point clear.)

Thomas V. Frauenhofer	...!rutgers!rochester!cci632!ccird7!tvf
*or* ...!rochester!kodak!swamps!frau!tvf *or* ...!attctc!swamps!frau!tvf
"The Earth? I'm going to blow it up.  It obstructs my view of Venus" - Martin

beser@tron.UUCP (Eric Beser) (10/19/89)

In article <2339@munnari.oz.au>, ok@cs.mu.oz.au (Richard O'Keefe) writes:
> In article <1549@dsac.UUCP>, ntm1169@dsac.UUCP (Mott Given) writes:
> : From article <31019@cci632.UUCP>, by tvf@cci632.UUCP (Tom Frauenhofer):
> : > Hello.  I have a copy of the source for UNSW prolog that I have spent a lot
> : > ... , I will make the source available via anonymous UUCP from my home system
> :    What does UNSW in UNSW prolog stand for?
> :    How do you do anonymous UUCP to get the source code you offer?
> 
> UNSW stands for "University of New South Wales" (in NSW, Australia).
> The last time I checked, UNSW Prolog was *not* public domain and *not*
> copylefted.  It really might be a good idea to check with Claude Sammut
> (claude@spectrum.eecs.unsw.oz) before shipping copies of UNSW Prolog around.

The UNSW prolog compiler may be found on the arpanet (simtel20), on
compuserve in the AIExpert forum, on Austin Tool Works BBS (in Texas)
and on other BBS's. Ity was also distributed via the C users group.

If it was not public domain, it has been so difused that it might as
well be.

In any case, all copies came minus the library file to be read in
whenever the interpreter starts. I am working on a series of 
predicates that interface to Guido van Rostom's STDWIN package
through Xwindows. I would be interested in posting those diffs
as well, and acquiring via email the diffs to bring it up to C-prolog
status.

Eric Beser
Westinghouse ESG
Advanced Technology Group                       (301)-993-6205
ebeser@ajpo.sei.cmu.edu 

ok@cs.mu.oz.au (Richard O'Keefe) (10/20/89)

In article <447@tron.UUCP>, beser@tron.UUCP (Eric Beser) writes:
   [I said, and still stand by:]
> > It really might be a good idea to check with Claude Sammut
> > (claude@spectrum.eecs.unsw.oz) before shipping copies of UNSW Prolog around.

> I would be interested in posting those diffs
> as well, and acquiring via email the diffs to bring it up to C-prolog
> status.

The status of C Prolog is "hopelessly obsolete" and has been for the last
several years.  For a "research" Prolog, try SICStus Prolog or NU Prolog.
There is also the copylefted Stony Brook Prolog.  I took the trouble to
include Claude Sammut's E-mail address in my posting (and Eric Beser
quoted it!) so that someone wanting a legitimate copy of the latest and
greatest UNSW Prolog can ask the author how to do so.

(You may have to write the address as claude@spectrum.eecs.unsw.oz.AU)