PLOGHELP PROLOG_BARRIER_APPLY               Kathryn Seifert  August 1986

POP-11 procedure which applies a procedure inside a Prolog 'barrier'

    prolog_barrier_apply(<procedure:P>) -> <result>

Keywords: POP-11, Prolog, mixed language programming


'prolog_barrier_apply' takes a procedure and applies it inside a Prolog
'barrier'.  In other words, when the procedure P exists, the record of
Prolog goals still to be attempted and Prolog variables to be reset on
backtracking will be as it was when P was entered (but no variables will
be specially reset).  Execution of P will thus be isolated from any
other active Prolog executions.

See PLOGHELP * PROCESSES for an example application of this procedure.


-- RELATED DOCUMENTATION ----------------------------------------------

PLOGHELP * MIXED_LANGUAGES
 Overview of interface between Prolog and other languages

PLOGHELP * POPTOPLOG
 How to call Prolog from POP-11

PLOGHELP * PROCESSES
 How to create POP-11 processes which use Prolog procedures

PLOGHELP * TERMSINPOP
 Facilities for manipulating Prolog terms and variables in POP-11