Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!bloom-beacon.mit.edu!spool.mu.edu!uwm.edu!math.ohio-state.edu!jussieu.fr!univ-lyon1.fr!swidir.switch.ch!scsing.switch.ch!josef!ifimac45.ifi.unizh.ch!user
From: fuchs@ifi.unizh.ch (Norbert E. Fuchs)
Subject: New reports from IFI, University of Zurich
Message-ID: <fuchs-251194174415@ifimac45.ifi.unizh.ch>
Followup-To: comp.lang.prolog
Sender: news@ifi.unizh.ch (USENET News Admin)
Nntp-Posting-Host: ifimac45
Organization: IFI University of Zurich
Date: Fri, 25 Nov 1994 16:44:15 GMT
Lines: 85

(Please excuse if you see this more than once.)

The following two reports are available by anonymous ftp from

        ftp.ifi.unizh.ch [130.60.48.8] 

Log in as "anonymous", use your email address as your password, 
specify "binary" before getting the file. Uncompress before printing. 

The directory pub/techreports contains a file INDEX listing all 
technical reports currently available. If you are interested in 
periodical information about new IFI technical reports, e-mail to 
tr@ifi.unizh.ch


File  /pub/techreports/ifi-94.17.ps.Z

%0 Report
%A Fuchs, Norbert E.
%A Hofmann, Hubert F.
%A Schwitter, Rolf
%D 1994
%T Specifying Logic Programs in Controlled Natural Language
%I Department of Computer Science, University of Zurich
%8 November 94
%R 94.17
%F Fuchs et al. 94
%X Writing specifications for computer programs is not easy since 
one has to take into account the disparate conceptual worlds of the 
application domain and of software development. To bridge this 
conceptual gap we propose controlled natural language as a 
declarative and application-specific specification language. 
Controlled natural language is a subset of natural language that can 
be accurately and efficiently processed by a computer, but is 
expressive enough to allow natural usage by non-specialists. 
Specifications in controlled natural language are automatically 
translated into Prolog clauses, hence become formal and executable. 
The translation uses a definite clause grammar enhanced by feature 
structures. Inter-text references of the specification, e.g. 
anaphora, are resolved by discourse representation theory. The 
generated Prolog clauses are added to a knowledge base, and 
furthermore provide the input of a concept lexicon. We have 
implemented a prototypical specification system that successfully 
processes the greater part of the specification of a simple 
automated teller machine.



File  /pub/techreports/trans_dev.ps.Z

%0 Book Section
%A N. E. Fuchs, Department of Computer Science, University of Zurich
%A M. P. J. Fromherz, Xerox PARC, Palo Alto
%D 1994
%T Transformational Development of Logic Programs from Executable 
Specifications  Schema-Based Visual and Textual Composition of 
Logic Programs
%B Development, Test and Maintenance of Declarative AI Programs
%E Beckstein, C.
%E Geske, U.
%I Gesellschaft fr Informatik und Datenverarbeitung (GMD)
%V 238
%S GMD Studien
%F Fuchs & Fromherz 94
%X In our method  that we call Visual and Textual Composition of 
Logic Programs  we have enhanced the schema-based construction of 
logic programs in two ways intended to bridge the conceptual gap 
between application domains and the programming domain. First, we 
define visual and textual views of programs that can be used to 
construct programs in application-specific concepts, and which can 
be understood as executable specifications of the programs being 
constructed. Second, in addition to schemata for Prolog programming 
constructs and techniques we introduce a repository of application-
specific components. As a further enhancement of the method we have 
added schema-based transformations to increase the efficiency of the 
constructed programs. We have implemented both a program development 
system and a transformation system, and used these systems to 
develop programs for non-trivial applications like the well-known 
library data base problem and an automated teller machine.
-----------------------------------------------------------
Norbert E. Fuchs                  Telephone  +41-1-257 4313
Department of Computer Science    Fax        +41-1-363 0035
University of Zurich              email  fuchs@ifi.unizh.ch
CH-8057 Zurich, Switzerland
-----------------------------------------------------------
