This Section provides a complete reference for the built-in primitives in the Prova language.
Labels:
Page:
assert
Page:
asserta
Page:
at
Page:
attach
Page:
bound
Page:
byte_stream
Page:
cache
Page:
capture_enum
Page:
clone
Page:
concat
Page:
consult
Page:
copy
Page:
copy_stream
Page:
element
Page:
fail
Page:
findall
Page:
fopen
Page:
for
Page:
free
Page:
length
Page:
listen
Page:
map_merge
Page:
match
Page:
mklist
Page:
parse_list
Page:
parse_nv
Page:
print
Page:
println
Page:
rcvMsg
Page:
rcvMult
Page:
read_enum
Page:
retract
Page:
retractall
Page:
reverse
Page:
sendMsg
Page:
sendMsgSync
Page:
spawn
Page:
tokenize_enum
Page:
tokenize_list
Page:
type
Page:
unescape
Page:
unique_id