Node:Queries and Directives, Next:Syntax Errors, Previous:Inserting Clauses, Up:Run Intro
Queries and directives are ways of directing the system to execute some goal or goals.
In the following, suppose that list membership has been defined by
loading the following clauses from a file:
member(X, [X|_]). member(X, [_|L]) :- member(X, L).
(Notice the use of anonymous variables written _.)