April 1988 - CREATING A NEW LANGUAGE

ARTICLES

CREATING AN ADVENTUROUS LANGUAGE

by Jonathan Amsterdam
Jonathan describes AAL, a language based on LISP that includes features from both object-oriented and declarative languages.

TOPICS IN KNOWLEDGE-BASED LANGUAGES

by Bill and Bev Thompson
The development of expert systems has often emphasized the paradigms of the subject area and their representation, often to the point of hindering rapid development and change. Bill and Bev describe flexible new structures called Topics that give knowledge-based system designers the advantages of both hypertext and declarative languages.

THEOREM PROVING USING SEMANTIC RESOLUTION

by Anthony J. Dos Reis
For those of you into propositional logic, Anthony offers working code (in C) for experimenting with "mechanical" theorem proving.

REVIEWS

EXAMINING ROOM

coordinated by Ron Copeland
Products examined from the programmer's perspective. This month: Version 2.0 of the Brief editor, Guideline's C++, and the Turbo Professional Library from Turbo Power.

COLUMNS

C CHEST

by Allen Holub
Improving on an old standard, Allen tears into printf() to add new features.

TO THE MACS

by Stan Krute
Updates on QUED/M, TMON, and HFS Navigator, as well as code for HyperCard Scouting Toolkit.

STRUCTURED PROGRAMMING

by Kent Porter
Updating Niklaus Wirth with a LineDrawing graphics module in (what else?) Modula-2.

THE FORTH COLUMN

by Martin Tracy
A report on the 9th FORML, the latest on the ANSI FORTH effort, and other news.

FORUM

EDITORIAL

by Tyler Sperry

RUNNING LIGHT

by Tyler Sperry

LETTERS

by you

SWAINE'S FLAMES

by Michael Swaine

PROGRAMMER'S SERVICES

OF INTEREST