PLOGHELP PROLOG_INVOKE                      Kathryn Seifert  August 1986

POP-11 procedure which invokes a Prolog term

    prolog_invoke(<prologterm>) -> <boolean>

Keywords: mixed language programming, Prolog, Prolog terms


'prolog_invoke' takes a single argument (the POP-11 representation of a
Prolog term), and returns TRUE or FALSE according to whether Prolog was
able to satisfy the term taken as a Prolog goal.


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

PLOGHELP * MIXED_LANGUAGES
 Overview of interface between Prolog and other languages

PLOGHELP * POPTOPLOG
 How to call Prolog from POP-11

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

TEACH * CONTINUATIONS
 Introduction to DOC * CONTINUATION
