G.I.S. Prolog Predicates

Execution Control:

:-/1

true/0

fail/0

repeat/0

trace/0

notrace/0

call/1

'C'/3

Type Checking Predicates:

arity/1

atom/1

char/1

char8

compound/1

constant/1

float/1

integer/1

isname/1

list/1

nonvar/1

number/1

string/1

var/1

New G.I.S.-specific Predicates:

in_poly/3

show_point/1

show_points/1

show_polygon/1

show_polygons/1

shp_conv/2

shp_read/1

shp_read/3

shp_save/1

Clause Database Handling:

abolish/1

abolish/2

clause/2

current_op/3

retract/1

retract/2

retractall/1

assert/1

asserta/1

assertz/1

consult/1

reconsult/1

save/1

op/3

listing/0

listing/1

listing/2

File System:

chdir/1

tell/1

telling/1

told/1

see/1

seeing/1

seen/1

eof/1

Input, Output:

display/1

nl/0

read/1

readchar/1

readln/1

write/?

writeq/1

Unification and Arithmetic

=../2

^/2

arctan/1

arg/3

cos/1

div/2

exp/1

functor/3

is/2

max/2

min/2

round/1

sign/1

sin/1

sqrt/1

trunc/1

vars/2

varnames/2

variables/2

New List-processing Predicates:

append/3

delete/3

last/2

length/2

member/2

member/3

remove/3

reverse/2

select/3

sort/2

Type Conversion Predicates:

bin2reals/2

char_int/2

enquote_str/2

name/2

number_atom/2

term_str/2

str_atom

str_int/2

str_real

str2slist/3

String and Atom processing Predicates:

break_atom/2

cat/3

concat/3

del_ch/2

del_ch/3

fronttoken/3

nd_search/3

nd_search/4

repl_ch/3

repl_ch/4

searchchar/3

searchch_rev/3

searchch_rev/4

searchstring/3

str_len/2

str_toklist/2

substring/4

New Meta-level Predicates:

bagof/3

findall/3

setof/3

Miscellaneous Extended Predicates:

date/3

difftime/3

directories/2

dlg_ask/3

dlg_note/2

dlg_openfilename/4

dlg_savefilename/4

dlg_str/3

dlg_term/1

filedetails/9

filenameext/3

filenamepath/3

files/2

marktime/2

pars/3

random/1

random/2

randominit/1

seed/1

sleep/1

time/4

timeout/1

tokl/2