Built-in methods

• Logic and control
  • !/0
  • true/0
  • fail/0
  • false/0
  • repeat/0
• Execution context
  • context/1
  • parameter/2
  • self/1
  • sender/1
  • this/1
• Reflection
  • current_op/3
  • current_predicate/1
  • predicate_property/2
• Database
  • abolish/1
  • asserta/1
  • assertz/1
  • clause/2
  • retract/1
  • retractall/1
• Meta-calls
  • call/1-N
  • ignore/1
  • once/1
  • (\+)/1
• Error handling
  • catch/3
  • throw/1
  • instantiation_error/0
  • uninstantiation_error/1
  • type_error/2
  • domain_error/2
  • existence_error/2
  • permission_error/3
  • representation_error/1
  • evaluation_error/1
  • resource_error/1
  • syntax_error/1
  • system_error/0
• All solutions
  • bagof/3
  • findall/3
  • findall/4
  • forall/2
  • setof/3
• Event handling
  • before/3
  • after/3
• Message forwarding
  • forward/1
• Definite clause grammar rules
  • call//1-N
  • eos//0
  • phrase//1
  • phrase/2
  • phrase/3
• Term and goal expansion
  • expand_term/2
  • term_expansion/2
  • expand_goal/2
  • goal_expansion/2
• Coinduction hooks
  • coinductive_success_hook/1-2
• Message printing
  • print_message/3
  • message_tokens//2
  • message_hook/4
  • message_prefix_stream/4
  • print_message_tokens/3
  • print_message_token/4
• Question asking
  • ask_question/5
  • question_hook/6
  • question_prompt_stream/4