Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!fs7.ece.cmu.edu!hudson.lm.com!godot.cc.duq.edu!newsfeed.pitt.edu!gatech!howland.reston.ans.net!news-e1a.megaweb.com!newstf01.news.aol.com!uunet!walter!chetan!narain
From: narain@chetan.bellcore.com (Sanjai Narain)
Subject: Paper on real application of Prolog
Message-ID: <D8otxw.3zE@walter.bellcore.com>
Sender: narain@chetan (Sanjai Narain)
Nntp-Posting-Host: chetan.bellcore.com
Organization: Morristown Research and Engineering
Date: Tue, 16 May 1995 20:22:43 GMT
Lines: 15

The following compressed, uuencoded paper can be obtained by anonmyous ftp from:

	thumper.bellcore.com:/pub/narain/sonet_testing.uu

To obtain the .ps version, simply type sonet_testing.uu at the Unix prompt.
The paper has been written by a tester on the business side of Bellcore.
It describes a Prolog-based system, in use, for testing conformance to 
a complex protocol for failure recovery in SONET transmission networks.
The paper won't show up under ghostview, but prints fine. (It has been 
generated using a Microsoft package).

The paper appears in National Fiber Optics Engineering Conference 1995.

Sanjai Narain
Bellcore
