NIP Prolog Manual

Contents

This manual is being replaced by a mini-manual for Standard Prolog (as described in the International Standard).

Arithmetic

• is/2
• =:=/2
• =\=/2
• </2
• >=/2
• >/2
• =</2

Character input/output

• get/1
• get0/1
• nl/0
• put/1
• tab/1

Control

• ,/2
• ;/2
• !/0
• \+/1
• bagof/3
• call/1
• fail/0
• findall/3
• repeat/0
• setof/3
• true/0

Database

• assert/1
• asserta/1
• assertz/1
• clause/2
• retract/1
• retractall/1

Execution state

• abort/0
• halt/0

File and stream handling

• see/1
• seeing/1
• seen/0
• tell/1
• telling/1
• told/0

List processing

• =../2
• length/2
• sort/2

Loading programs

• consult/1
• reconsult/1

Program state

• listing/0

Term comparison

• ==/2
• \==/2

Term handling

• =/2
• arg/3
• functor/3
• name/2

Term input/output

• read/1
• write/1

Type tests

• atom/1
• atomic/1
• integer/1
• nonvar/1
• number/1
• real/1
• var/1