PLOGHELP POPSTRING Jonathan Laventhol September 1983 Revised by Kathryn Seifert August 1986 Library package to put POP-11 strings in Prolog programs Keywords: POP-11, Prolog, strings, mixed language programming, languages There is a library package, POPSTRING, For Prolog programmers who need to put POP-11 strings inside their Prolog programs. It is important that you know what you are doing when using POP-11 strings in Prolog, as it can be very confusing to use non-Prolog datatypes in a Prolog program. To load LIBRARY POPSTRING type: ?- library(popstring). The library creates a macro which can precede a Prolog word and will replace it with an expression which makes a POP-11 string. This macro can only be used inside 'prolog_eval' (see PLOGHELP * PROLOG_EVAL, PLOGHELP * PLOGTOPOP, and PLOGHELP * MIXED_LANGUAGES) because it must be evaluated in order to make the string. For example: ?- prolog_eval(compile(popstring 'string.p')). will compile as POP-11 the file 'string.p'. -- RELATED DOCUMENTATION ---------------------------------------------- HELP * STRINGS Strings in POP-11 PLOGHELP * ARE Library for evaluating POP-11 expressions with any number of results from Prolog PLOGHELP * IS Evaluating POP-11 expressions which return 1 result from Prolog PLOGHELP * LIBRARIES Overview of Prolog library programs PLOGHELP * MIXED_LANGUAGES Overview of methods of interfacing Prolog and other languages PLOGHELP * PLOGTOPOP How to call POP-11 from Prolog PLOGHELP * POPSTRING How to put POP-11 strings in Prolog programs PLOGHELP * POPTOPLOG How to call Prolog from POP-11 PLOGHELP * PROLOG_EVAL How to evaluate the Prolog representation of a POP-11 expression PLOGHELP * PROLOG_LANGUAGE Predicates and library package for switching from Prolog to POP-11 PLOGHELP * SIMPLEPOP Library package to do simple things in POP-11 from Prolog PLOGHELP * STRINGS Information about making Prolog strings and a library package to print them out --- C.all/plog/help/popstring ------------------------------------------ --- Copyright University of Sussex 1988. All rights reserved. ----------