General predicates

Clauses

consult/0

asserta/1

assertz/1

assert/1

retract/1

Goals

; , ?- :-

Constructing and decomposing terms

=../2

arg/3

functor/3

Control facilities

true/0

fail/0

call/1

once/1

not/1 /+/1

! (cut)

->/2

Plinxl requires to add parenthesis around the “then” and the “else” clauses.

(condition -> (then_clause1 , then_clause2) ; (else_clause1, else_clause2))

List of solutions

findall/3

Testing type of terms

atomic/1

atom/1

compound/1

var/1

nonvar/1

number/1

Debugging

trace/0 notrace/0

Input / output

write/1 nl/0

read/1

Plinxl use an excel message box for this user input.
The input has to be an atom, finishing with a dot.

Manipulating characters

string_chars/2

Equality predicates

is/2

=

== \==

Comparison predicates

> < >= =< =:= =\=

@< @=< @> @>=

Math predicates

+ – * /

is/2

**

// mod

max/2

min/2

abs/1

List predicates

[ | ]

append/3

length/1

member/2

sort/2

insert/3

reverse/2

select/3