Core Built‑ins

Common built‑ins in PyLog:

• true/0, fail/0, !/0
• var/1, nonvar/1, atom/1
• is/2, arithmetic comparisons
• functor/3, arg/3, =../2
• exception handling: throw/1, catch/3

For constraint built‑ins, see CLP(FD).