HDTenEightyP/NetNews huggingface dataset:
From: csa09@seq1.keele.ac.uk (Paul Singleton)
Newsgroups: comp.lang.prolog
Subject: Re: Prolog-WIMP interfacing principles: clarification
Date: 23 Jul 92 10:46:58 GMT
Organization: University of Keele, England

From article <10217@scott.ed.ac.uk>, by asch@cogsci.ed.ac.uk (Andreas Schoter):

> In article <3545@keele.keele.ac.uk> csa09@seq1.keele.ac.uk (Paul Singleton):

>>Please can anyone with experience or insight suggest some principles
>>for interfacing Prolog programs to WIMP interfaces, i.e. buttons, sliders,
>>menus, dialog boxes and all that stuff.  I avoid asserting and retracting
>>global state, and try to contain side-effects, and I can't see how to
>>employ WIMP features without compromising this style.  Well, I can, but ...
 
> You don't specify what level of abstraction the WIMP features are
> specified at, low level wiget type facilities, or high level packaged
> utilityies, but...

I am using Quintus Prolog's ProXT - "a Prolog interface to the Motif widget
set and the X Toolkit (Xt)".  I have no X experience, nor do I really
want it :-) and I am presently puzzling over how to combine it with my
Prolog programming style, which I claim is fairly clean and amenable to
debugging, maintenance, evolution etc.  I carry all program state around
as data structures passed from call to call.  All iteration is done with
recursion, not with e.g. failure-driven backtracking and assert/retract.
I am reluctant to sprinkle imperative X calls throughout my code, and not
sure how to handle events.

When I wrote my first SunTools application, in C, I learnt to turn my
program inside out and effectively write a bunch of interrupt routines
which were called by the "Notifier".  Should I do the same with Prolog?
How can I, without global state?

I have considered funnelling all events into a pretend "stream", and
organising my program to recursively digest this stream.  Can anyone
advise me, from experience or dogma, on this or other approaches?

Can WIMP interfaces be treated declaratively?

Paul S.
----
  __   __    Paul Singleton (Mr)           JANET: paul@uk.ac.keele.cs
 |__) (__    Computer Science Dept.        other: paul@cs.keele.ac.uk
 |  .  __).  Keele University, Newcastle,    tel: +44 (0)782 621111 x7355
             Staffs ST5 5BG, ENGLAND         fax: +44 (0)782 713082
Newsgroups: comp.lang.prolog
From: schweizer@tik.ethz.ch (schweizer)
Subject: Minimization of boolean functions
Keywords: Quine McCluskey
Organization: ETH Zurich, Switzerland
Date: Tue, 21 Jul 1992 14:40:49 GMT

I'm looking for an available implementation of Quine/McCluskey's minimization
algorithm for boolean functions written in AAIS Prolog on a Macintosh Computer.
Every pointer to such a program source would be greatly appretiated.
Thank you! 
Newsgroups: comp.lang.prolog
From: leeh7@fel.tno.nl (E.w.a. van Leeuwen)
Subject: Re: Literature on parallel LP
Organization: TNO Physics and Electronics Laboratory
Date: Wed, 22 Jul 92 07:56:46 GMT

References:

Taylor, Stephen, Parallel Logic Programming Techniques, Englewood Cliffs,
1989, 205 pages, ISBN 0-13-648767-X.

Foster, Ian, and Stephen Taylor, Strand, New Concepts in Parallel Programming,
Englewood Cliffs, 1990, 323 pages, ISBN 0-13-850587-X.

Information about Strand88:

UK:	Strand Software Technologies
	Greycaine Road, Watford, Hertfordshire WD2 4JP
	e-mail: strand-support@ail.co.uk
	tel:	0923 247707
	fax:	0923 247836

US:	Strand Software Technologies Inc.
	15220 N.W. Greenbrier Parkway, Suite 350,
	Beaverton, OR 97006
	e-mail: strand-support%ssti@uunet.uu.net
	tel:	503 690 9830
	fax:	503 690 9797

Hope this helps.



						Regards,
						
						Ed.

						
===============================================================================
Ed van Leeuwen                        |  Ed W.A. van Leeuwen
FEL-TNO                               |  TNO Physics and Electronics Laboratory
's-Gravenhage                         |  The Hague, the Netherlands
-------------------------------------------------------------------------------
Ed.van.Leeuwen@tnofel.fel.tno.nl      |  WARNING: Do not feed the lions
===============================================================================

Newsgroups: comp.lang.prolog
From: yossi@cbnews.cb.att.com (yossi.a.nygate)
Subject: Prolog for the TANDEM
Organization: AT&T
Date: Wed, 22 Jul 1992 15:05:34 GMT


Hi,

I am trying to icorporate a Prolog application into one of AT&T's
of Network Managment Operation Systems. However, the customers - 
for reliability - are running the system on a fault tolerant
platform - namely a TANDEM. Does anyone know if there exists
a Prolog out there (Quintus, Sicstus, etc. ) that runs on
this beast.

Thanks 

Yossi Nygate 


----------------------------------
     Yossi Nygate (att!cblph!yossi)
----------------------------------

-- 

----------------------------------

     Yossi Nygate (att!cblph!yossi)
Newsgroups: comp.lang.prolog
From: oruiz@uxa.cso.uiuc.edu (ruiz oscar eduardo)
Subject: Objects in Prolog
Organization: University of Illinois at Urbana
Date: Tue, 21 Jul 1992 15:44:39 GMT
Keywords: Prolog, Objects, C++

I have been writing C++ code for geometric objects as part of a geometric
reasoning package. Now I need to use Prolog capabilities to dynamically
define predicates about geometric properties of objects. These predicates
should use as support the functions and routines I have written in C++.
My questions:
  1. Is there a way to "link" external functions to Prolog code?
  2. Is there a way to force Prolog to hande lists of Objects?
     For example, can I handle lists of records?
  3. Is there anywhere a source code (commented if possible) of a prolog
     interpreter?
  4. Any books/articles I should read to scratch my ignorance??

Please address replys to any of these  :
	oscar@meibm4.cen.uiuc.edu
	oruiz@uxa.cso.uiuc.edu
	oruiz@lebesgue.me.uiuc.edu

or, reply to this article.
			Thanks.	Oscar E. RUiz S.
Newsgroups: comp.lang.prolog
From: kuehn@dfki.uni-kl.de (Otto Kuehn)
Subject: Prolog for SUN
Reply-To: kuehn@dfki.uni-kl.de (Otto Kuehn)
Organization: DFKI
Date: Fri, 31 Jul 1992 08:57:27 GMT

Hi netters,
   we are lookiung for a PROLOG to run on SUN - Sparcstations. Important
features would be: support for designing a graphical user interface,
support for object-oriented programming, and support for  modules.

  We heard about Quintus-Prolog, IF-Prolog, and APL-Prolog. What are
your experiences with these? Which Prolog would you suggest?

Thanks,

Otto Kuehn.


Newsgroups: comp.lang.prolog
Newsgroups: comp.lang.prolog

>>>>> On 22 Jul, dhananjay brahme (db) wrote:

db> Is there readily available latex macros which
db> can be used to put prolog code in papers/articles.
db> That is it should take care of identations automatically.

When I used to use LaTeX, I used an editor to format the code (prolog-mode
for emacs takes care of indentation automatically), and \begin{verbatim}
... \end{verbatim} to include the code in my document, which preserves the
spaces (and hence the indentation) in the code.

A low-tech but workable solution.

db> Thanks in advance
db> dhananjay brahme
'Welcome.  

Cheers,
Ian.
Newsgroups: comp.lang.prolog
From: gross@inf.ethz.ch (Roman Gross)
Subject: LOPSTR 92 ?
Originator: gross@ducat.inf.ethz.ch
Organization: Dept. Informatik, Swiss Federal Institute of Technology (ETH)
Date: Wed, 29 Jul 1992 13:19:59 GMT

I've been looking for the paper "Intensional Query Answering: An Application of
 Partial Evaluation" from Giuseppe De Giacomo, Rome, Italy.

Can anybody send my a copy of that paper or does have the E-Mail address of
the author.

Thanks

-- 
Roman Gross				|
Informationssysteme			|
ETH-Zentrum				|  Phone:  +41 1 254 72 62
CH-8092 Zurich, Switzerland		|  E-Mail: gross@inf.ethz.ch
From: mcovingt@athena.cs.uga.edu (Michael A. Covington)
Newsgroups: comp.lang.prolog
Subject: Re: A Destructive Myth
Date: 28 Jul 92 17:19:44 GMT
Organization: University of Georgia, Athens

Ask your US business expert if he has ever heard of KnowledgeWare
(a very up-and-coming CASE company in Atlanta) and if so, does he
realize that virtually all of KnowledgeWare's development is done
in Prolog?

I could give many other examples... so, probably, could you...

-- 
==========================================================================
Michael A. Covington, Ph.D. |  mcovingt@uga.cc.uga.edu  |  ham radio N4TMI
Artificial Intelligence Programs | U of Georgia | Athens, GA 30602  U.S.A.
==========================================================================
Newsgroups: comp.lang.prolog
From: oliver@adt.uni-paderborn.de (Oliver Jack)
Subject: Literature on parallel LP
Organization: Universitaet Paderborn, Angewandte Datentechnik
Date: Tue, 21 Jul 1992 14:51:50 GMT


Could someone point me at a survey of prarallel Logic Programming,
or could someone give me some hints on actual papers, books on this field.
I'm also interested in literature about *testing* parallel Logic Programs,
regardless of the model used (AND, OR parallelism, GHC etc.).

Thanks in advance,

	Oliver Jack
Newsgroups: comp.lang.prolog
From: srinivas@ern.doe.ernet.in (Mr SRINIVAS)
Subject: META INTERPRETERS FOR PROLOG BASED EXPERT SYSTEMS
Organization: Department of electronics, New Delhi, India
Date: Fri, 24 Jul 1992 04:56:09 GMT

 I am planning to write meta interpreters for prolog based
 expert systems. i have gone through art of prolog of sterling.
can anybody provide me pointers to some more literature? what
are the present research problems in this area ? please send
your reply to my email address.


thanks in advance,

Srinivas Pavuluri(Mr)
Scientist/Engineer "SC"
National Informatics Centre
Lodhi Road
New Delhi-3
India.

email ;  srinivas@vikram.ernet.in
From: brahme@atpg.ICS.UCI.EDU
Subject: where can I get latex macros for prolog code
Newsgroups: comp.lang.prolog
Date: 22 Jul 92 19:00:54 GMT


Is there readily available latex macros which
can be used to put prolog code in papers/articles.

That is it should take care of identations automatically.

Thanks in advance

dhananjay brahme
From: andrew@ifcsol.IFComputer.de (Andrew Verden)
Newsgroups: comp.lang.prolog
Subject: Re: Prolog for the TANDEM
Date: 23 Jul 92 17:01:37 GMT
Organization: InterFace Computer GmbH Garmischer Str. 4 D-8000 Muenchen 2
X-Organization:               GERMANY
X-Mailer: ELM [version 2.3 PL0]

IF/Prolog is available for ALL UNIX platforms and we have currently
supplied systems for:

TANDEM	CLX600, CLX700, CLX800,
TANDEM	Integrity S100EJ, S2, S200J, S300J

If your machine is not one of these we can make a port for your order.

IF/Prolog is a full commercial implementation of Prolog incorporating:
modules, C language interface, SQL interfaces and an excellent OSF/Motif
development environment and much more ...

Please contact:

	American InterFace Computer Inc.
	W.Metzner,
	One Westlake Plaza, Suite 200,
	1705 Capital of Texas Hwy. South, 
	Austin Texas 78746
	U.S.A.

	Tel: +1-512-327-5344
	Fax: +1-512-327-5176

-- 

        Dr. Andrew Verden,

        InterFace Computer GmbH,        email:  andrew@IFComputer.de
        Garmischer Str. 4,	        Tel:    (0 89) 5 10 86-36
        D-8000 Munchen 2,               Fax:    (0 89) 5 10 86-28
	GERMANY.
Newsgroups: comp.lang.smalltalk
From: john@utafll.uta.edu (John Baima)
Subject: Hypercard > Digitalk Smalltalk
Organization: University of Texas at Arlington
NntpPostingHost: utafll.uta.edu
Date: Tue, 21 Jul 1992 16:24:45 GMT
X-Bytes: 324

I am looking at porting a significant Hypercard app to Digitalk
Smalltalk and I was wondering if there are any tools out there to help
in this process. Any leads or advice?

Thanks for any help
 
John Baima
Silver Mountain Software   1029 Tanglewood, Cedar Hill, TX 75104
john@ling.uta.edu          Voice/Fax (214) 2932920

Newsgroups: comp.lang.smalltalk
From: knight@mrco.carleton.ca (Alan Knight)
Subject: Re: Classic Smalltalk bugs
Reply-To: knight@mrco.carleton.ca (Alan Knight)
Organization: Carleton University
Date: Fri, 24 Jul 1992 19:34:30 GMT

In <1992Jul24.012525.2750@pcnntp.apple.com> Piersol@Apple.com (Kurt Piersol) writes:

>One of my favorite common bugs in Smalltalk-80 involves the infinite
>variations on:

>    a := 5.
>    b := nil.
>    a become: b.


>Since Smalltalk-80 traditionally swaps the pointers in the object table,
>the result is that the distinguished nil object has been replaced by
>something else. Needless to say, things tend to grind to a halt rapidly
>after that. There are plenty of variations on this theme, few of which

Another simple mistake which can cause the system to grind to rapid
halt is mistakenly typing

 Thing := nil.  instead of 
 thing := nil.  or
 aThing := nil.

Depending what class you assigned to this can either kill the system
immediately or just wipe out one of your classes. This ability to
assign to classes without even a confirmation is very dangerous.

Equally dangerous can be sending or overriding a method which you
shouldn't.  For example, in writing a system for dealing with schools
it's easy to implement class and class: by mistake. This one is
particularly bad because it doesn't just immediately trash the system,
but usually leaves you with a couple of hours worth of apparently
malfunctioning debuggers and inspectors before you put your fist
through the screen.

The problem of sending a message you think you understand bit me once
due to the difference between Smalltalk/V and Smalltalk-80.  In
Smalltalk-80, initialize is a method that initializes some object. It
also works for classes, so you can say

  MyClass initialize.

to do things like set up class variables. In Smalltalk/V (at least the
Mac version) the method initialize is defined for classes, and
it initializes the class in a different sense, emptying out the method
dictionary and suchlike.  When I sent initialize to a class for
which I had not defined the method, it wiped out the class.

-- 
 Alan Knight  knight@mrco.carleton.ca  +1 613 788 2600x5783   Join
 Dept. of Mechanical and Aerospace Engineering                the
 Carleton University, Ottawa, Ontario, Canada, K1S 5B6        LPF
From: bernardh@cs.man.ac.uk (Bernard Horan (MIG group))
Newsgroups: comp.lang.smalltalk
Subject: Re: encapsulated postscript from st80 4.1 ?
Date: 29 Jul 92 09:15:49 GMT
Reply-To: bernardh@cs.man.ac.uk (Bernard Horan (MIG group))
Organization: Department of Computer Science, University of Manchester UK

In article <Jul.28.12.11.17.1992.20626@caip.rutgers.edu> ghazi@caip.rutgers.edu (Kaveh R. Ghazi) writes:
>
>	Does anyone know how to get encapsulated postscript pictures out of
>the Printing.st fileIn code that comes with st80 v4.1?  I asked PP support
>and they responded along the lines of, we tried and couldn't get it to work.
>I need to include smalltalk pictures in other documents.  Any help would be
>appreciated.
>		Thanks,
>		--Kaveh
>-- 

It's usually much easier to use your platform's own screen capture
utilities to capture Smalltalk pictures. Running under X I tend to use
something like xwd or snapshot, and on the MAC a nifty little utility called
Flash-It.

Bernard

==========================================================================
Bernard Horan, Medical Informatics Group, Dept of Computer Science
University of Manchester, Oxford Road, Manchester M13 9PL, U.K.
Tel : (+44) 61 275 6133, Fax : (+44) 61 275 6236

INTERNET address : bernardh@cs.man.ac.uk
UUCP address     : ..mcsun!uknet!man.cs!bernardh
==========================================================================
From: trevor@cs.man.ac.uk (Trevor Hopkins)
Newsgroups: comp.lang.smalltalk
Subject: Re: Where can I find an Actor smiulator in Smalltalk?
Date: 29 Jul 92 12:22:24 GMT
Reply-To: trevor@cs.man.ac.uk (Trevor Hopkins)
Organization: Department of Computer Science, University of Manchester

In article <1992Jul23.134801.3979@debbie.cc.nctu.edu.tw>, chchen@csie.nctu.edu.tw (a) writes:
|> 
|> 	We got a message saying that there is an Actor simulator in
|> 	Smalltalk. Could anybody tell us how and where to get the
|> 	package?

These is indeed an Actor simulator, in fact two, in the Smalltalk
archives at Manchester; also mirriored at Illinois.

One is the AcTalk approach, by Briot, which others on the net have
already mentioned.

The other I wrote, for ST80v2.3.  It is a complete simulation of
Agha's actor model, and allows for graphical tracing of results, etc.
There is a technical report from U of Manchester describing this.

I've know that Silvio Meira, at the Federal University at Recife,
Brazil has been porting the Actors system to ST/V Windows, and is
proposing it as a Digitalk goodie.  Email: srlm@DI0001.UFPE.ANPE.BR.

Trevor.
------------------------------------------------------------------
Trevor P. Hopkins, Room 2.95, Department of Computer Science,
University of Manchester, Oxford Road, Manchester, M13 9PL, U.K.
Tel: (+44) 61-275 6170    FAX: (+44) 61-275 6236    Internal: 6170
NET: trevor@cs.man.ac.uk    UUCP: ..mcsun!uknet!man.cs!trevor
------------------------------------------------------------------
From: terry@zoe.network23.com
Newsgroups: comp.lang.smalltalk
Date: 18 Jul 92 01:27 MDT
Subject: Re: Blocks are BAD!!!
Nf-ID: #N:1992Jul17.212748.22672@zoe.netwo:2033232404:001:1155
Nf-From: zoe.network23.com!terry    Jul 18 01:27:00 1992


From article <VOSS.92Jul15004753@laslo.cs.uiuc.edu>, by voss@laslo.cs.uiuc.edu (Bill Voss):
> terry@zoe.network23.com (Terry) writes:
>> Problem:
>> Blocks cause considerable difficulty ....
> 
>> Solution:
>> Use MessageSend objects to delegate behavior instead of blocks.  The
>> code that would normally be in a block would now be a method and can
>> be simply referred to using its selector.  If values in the outer scope are
>> required they can be placed in the MessageSend and passed as arguments
>> to the method.  About the only drawback I can see to this technique is that
>> there may be a slight loss in intelligibility of the software.
> 
> 
> HOWEVER (you knew it was coming ;-) I don't think your solution
> can simulate the block [^true] in a context such as
> 

I should elaborate a little more.  The situation I am concerned about
is when the block closure outlives its outer scope.  In this situation
a return from the block will create an error.  Blocks used for
control structures are fine or even short lived delegation.

> Bill Voss -- voss@cs.uiuc.edu

Terry
-- 
terry@zoe.network23.com
{rayssd,xanth,mirror,att}!galaxia!zoe!terry
From: ASRIN@ASUACAD.BITNET
Newsgroups: comp.lang.smalltalk
Date: 18 Jul 92 03:41 MDT
Subject: Re: Submitting goodie changes (was:
Nf-ID: #N:SMALK%92071802412723@finhutc.hut:1472204286:001:435
Nf-From: ASUACAD.BITNET!ASRIN    Jul 18 03:41:00 1992


sign off


-------------------------------------------------------------------------- ----
  Vegesna Srinivas Raju                       Ph: (602) 966 1737
                                              Email:asrin@asuacad (bitnet)
  Graduate Student, Electrical Engineering          asrin@asuvm.inre.asu.edu
  Engineering Research Center 434                                 (internet)
  Arizona State University, Tempe, Arizona 85287.
From: mario@cs.man.ac.uk (Mario Wolczko)
Newsgroups: comp.lang.smalltalk
Subject: Re: Record-and-playback
Keywords: utility wanted, ParcPlace Smalltalk
Date: 30 Jul 92 12:42:51 GMT
Organization: Dept Computer Science,University of Manchester,U.K.

In article <28910@jeeves.Teknowledge.COM>, ssriniva@Teknowledge.COM (Shankar Srinivasan) writes:
> I'm looking for an ST80 (ParcPlace) utility that can 
> record and play back sequences of keystrokes and mouse 
> clicks. I'd like to use it to develop self-running demos
> and regression tests. Anybody know of such a beast?

My colleague Rhod Davies wrote such a utility entirely within
Smalltalk for version 2.3.  The code is in the Manchester archive (ftp
to mushroom.cs.man.ac.uk or st.cs.uiuc.edu) in "session-recording.st"
and other files.  Here's the catalogue entry:

session_recording
size:	36256
file:	manchester/2.3/session_recording.st 
synopsis:	 record & playback ui sessions 
Author:	 -Rhod Davies
version: 2.3
prerequisites: ControllerID CompressedOrderedCollection 
    structure-copying.st  StructureInputTable.2.3fix  compact-structure 

I doubt this code will work under version 4 without significant
changes.  However, if you end up building it yourself, this may be a
good starting point.

Come to think of it, if you're using release 4 under X, you may be
able to find an X utility that does this for you, independently of
Smalltalk (or hack one of the X protocol monitors).

Mario Wolczko

   ______      Dept. of Computer Science   Internet:      mario@cs.man.ac.uk
 /~      ~\    The University              uucp:    mcsun!uknet!man.cs!mario
(    __    )   Manchester M13 9PL          JANET:         mario@uk.ac.man.cs
 `-':  :`-'    U.K.                        Tel: +44-61-275 6146  (FAX: 6236)
____;  ;_____________the mushroom project___________________________________
From: scrl@otter.hpl.hp.com (Simon Lewis)
Date: Thu, 23 Jul 1992 07:51:05 GMT
Subject: Re: Classic Smalltalk bugs
Organization: Hewlett-Packard Laboratories, Bristol, UK.
Newsgroups: comp.lang.smalltalk

Another very common, and very simple typo more than anything else, is putting 
a full-stop after the method name when declaring the method.  This causes
the system to say "Nothing more expected" at the first line of code, which
is quite confusing for beginners.  I was able to diagnose this problem
for someone yesterday without seeing the code, just on hearing the description
of the problem, which reminded me what a `classic' it is.

Simon.

Newsgroups: comp.lang.smalltalk
From: chchen@csie.nctu.edu.tw (a)
Subject: Where can I find an Actor smiulator in Smalltalk?
Organization: National Chiao Tung University
X-Newsreader: Tin 1.1 PL3
Date: Thu, 23 Jul 1992 13:48:01 GMT

Hi, friends,

	We got a message saying that there is an Actor simulator in
	Smalltalk. Could anybody tell us how and where to get the
	package?

	Thanks


	Chin-Hung Chen
	E-mail: chchen@csie.nctu.edu.tw
Xref: sparky comp.lang.smalltalk:1480 comp.lang.c++:11341