PLOGHELP SEMICOLON                            Chris Mellish, August 1982
                                Revised by Kathryn Seifert  October 1986

Operator to "or" two goals

    ?- X; Y.

Keywords: or, operator, symbol


A goal of the form  :- X; Y. will succeed if X succeeds, or if Y
succeeds. This means that

    foo(X) :- X = 1; X = 2

is the same as

    foo(1).
    foo(2).

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

PLOGHELP * CONDITIONAL
 Operator which attempts goals conditionally

PLOGHELP * SYMBOLS
 Summary and index of HELP files for symbols used in Prolog

PLOGHELP * OPERATORS
 Operator declarations made when the Prolog system is loaded