prelude

Documentation

Overview

Defines the Prolog standard library. All prelude predicates are implemented in pure Prolog. Each variable in this package is a predicate definition. At init time, they're combined into a single string in the Prelude var.

Index

• Variables

Variables

var Ignore1 = `
ignore(A) :-
	call(A),
	!.
ignore(_).
`

var Length2 = `` /* 130-byte string literal not displayed */

var Memberchk2 = `
memberchk(X,[X|_]) :- !.
memberchk(X,[_|T]) :-
    memberchk(X,T).
`

var Phrase2 = `
phrase(Dcg, List) :-
    call(Dcg, List, []).
`

phrase(:DCGBody, ?List) is nondet.

Like phrase(DCG,List,[]).

var Phrase3 = `
phrase(Dcg, Head, Tail) :-
    call(Dcg, Head, Tail).
`

phrase(:DCGBody, ?List, ?Rest) is nondet.

True when DCGBody applies to the difference List/Rest.

var Prelude string

After init(), Prelude contains all prelude predicates combined into a single large string. One rarely addresses this variable directly because golog.NewMachine() does it for you.

var Sort2 = `` /* 362-byte string literal not displayed */

sort(+List, -Sorted) is det.

Like msort/2 but removes duplicates.