Advertisement

Text Formatting with Prolog

  • Helder Coelho
  • José Carlos Cotta
Part of the Symbolic Computation book series (SYMBOLIC)

Abstract

This chapter illustrates the use of Prolog features for word processing. The problems were selected from the book by (Welsh; Elder 1979), an introduction to PASCAL. The idea is to apply Prolog in a rather devious application domain, in what concerns the intended capabilities of logic programming. The general aim consists in testing whether Prolog can be compared to PASCAL in a matter where this programming language is quite able. Also, another intention is involved: to check how Prolog behaves in commercial applications, too involved with file manipulation, and often related to symbolic processing. We are convinced that such exercises are rather desirable because if Prolog goes commercial diverse situations arise in the design of real programs, and some knowledge about the ways Prolog copes and interacts with other special purpose programming languages is required.

Keywords

Logic Program Logic Programming Negative Integer Symbolic Processing Real Program 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Helder Coelho
    • 1
  • José Carlos Cotta
    • 1
  1. 1.Laboratorio Nacional de Engenharia CivilLisbonPortugal

Personalised recommendations