^ ^                 ^ ^
=(o.o)=  ~byakuren  =(o.o)=
  m m                 m m

Built-ins and Evaluable Functors (flowlog.c)

This document lists the built-in predicates and arithmetic evaluable functors implemented by Flowlog (flowlog.c).

Notes:

• “ISO” refers to ISO/IEC 13211-1. Flowlog aims for ISO behavior for the core language and most of these predicates.
• Some entries are Flowlog extensions (especially parallelism and introspection helpers).
• Flowlog is intentionally small: common library predicates (e.g. member/2) are not built in; define them in your program if you need them.
• Flowlog has multiple engines (flowlog_engine=wam, flowlog_engine=wamvm, and flowlog_engine=interp/tree). When the active engine cannot safely execute a query it may fall back; see IMPLEMENTATION.md.

Built-in predicates

Control and meta-call

• true/0
• fail/0
• false/0
• !/0
• repeat/0
• call/1..8
• once/1
• (\+)/1
• ','/2
• (';')/2
• (->)/2
• (:)/2
• catch/3
• throw/1

Unification, term identity, and ordering

• (=)/2
• (\\=)/2
• (==)/2
• (\\==)/2
• (=@=)/2
• (\\=@=)/2
• compare/3
• (@<)/2, (@=<)/2, (@>)/2, (@>=)/2

Term inspection and construction

• (=..)/2
• functor/3
• arg/3
• copy_term/2
• term_variables/2
• unify_with_occurs_check/2
• subsumes_term/2
• acyclic_term/1
• ground/1

Type tests

• var/1
• nonvar/1
• atom/1
• integer/1
• float/1
• number/1
• atomic/1
• compound/1
• callable/1

Arithmetic

• is/2
• (<)/2, (=<)/2, (>)/2, (>=)/2
• (=:=)/2, (=\\=)/2
• evaluable_property/2

Atoms, characters, and conversion

• atom_chars/2
• atom_codes/2
• atom_concat/3
• atom_length/2
• number_chars/2
• number_codes/2
• char_code/2
• sub_atom/5
• sub_string/5
• char_conversion/2
• current_char_conversion/2

Lists and sorting

• length/2
• sort/2
• msort/2
• keysort/2
• findall/3
• bagof/3
• setof/3

Dynamic database

• dynamic/1 (as a predicate and as a load-time directive)
• current_predicate/1
• predicate_property/2
• asserta/1
• assertz/1
• assert/1
• retract/1
• retractall/1
• abolish/1
• clause/2
• numbervars/3

Operators and flags

• op/3 (as a predicate and as a load-time directive)
• current_op/3
• current_prolog_flag/2
• set_prolog_flag/2 (also supported as a load-time directive for a small whitelist)

Streams and term I/O

• current_input/1, current_output/1, current_error/1
• set_input/1, set_output/1, set_error/1
• open/3, open/4
• close/1, close/2
• stream_property/2
• set_stream/2
• set_stream_position/2
• at_end_of_stream/0, at_end_of_stream/1
• get_code/1, get_code/2
• get_char/1, get_char/2
• get_byte/1, get_byte/2
• peek_code/1, peek_code/2
• peek_char/1, peek_char/2
• peek_byte/1, peek_byte/2
• unget_code/1, unget_code/2
• unget_char/1, unget_char/2
• unget_byte/1, unget_byte/2
• put_code/1, put_code/2
• put_char/1, put_char/2
• put_byte/1, put_byte/2
• tab/1, tab/2
• nl/0, nl/1
• flush_output/0, flush_output/1
• read/1, read/2
• read_term/2, read_term/3
• write/1, write/2
• writeq/1, writeq/2
• write_canonical/1, write_canonical/2
• write_term/2, write_term/3

Debugging / inspection helpers

• listing/0, listing/1
• trace/0, notrace/0
• debug/0, nodebug/0
• current_rule/1
• countall/2

Parallelism helpers (Flowlog extensions)

Parallelism is configured via Prolog flags (see PARALLELISM.md), but Flowlog also exposes introspection helpers:

• flowlog_and_safe/2
• flowlog_and_safe_goal/2

Compatibility / stub predicates

Flowlog keeps a few predicates for compatibility with other builds. In this build they return fixed values:

• flowlog_cpuproc_id/1
• flowlog_n_cpuproc/1
• flowlog_in_cpuproc/1
• flowlog_taskjob_id/1
• flowlog_n_taskjob/1
• flowlog_last_tc_cp_mask/1
• flowlog_last_tc_cp_count/1
• flowlog_last_tc_worker_count/1
• flowlog_last_tc_start_ok/1
• flowlog_last_tc_start_error_code/1
• flowlog_last_tc_start_error_text/1
• flowlog_db_epochs/2

Internal / reserved predicates

These predicates are not ISO Prolog. They are used internally (tests/benchmarks) and may change:

• $flowlog_sleep_ms/1 (deterministic sleep in milliseconds; integer >= 0)

Evaluable functors (arithmetic expressions)

These functors are accepted by is/2 and numeric comparisons:

Constants

• pi/0
• e/0
• epsilon/0

Unary

• (+)/1
• (-)/1
• abs/1
• sign/1
• floor/1
• ceiling/1
• truncate/1
• round/1
• float_integer_part/1
• float_fractional_part/1
• float/1
• (\\)/1 (bitwise not)
• sin/1, cos/1, tan/1
• asin/1, acos/1, atan/1
• sqrt/1, log/1, exp/1

Binary

• (+)/2
• (-)/2
• (*)/2
• (/)/2
• (//)/2 (truncating integer division)
• rem/2
• div/2 (floor division)
• mod/2
• min/2, max/2
• (/\\)/2 (bitwise and)
• (\\/)/2 (bitwise or)
• xor/2
• (<<)/2, (>>)/2
• (**)/2
• (^)/2
• atan2/2