Table of Contents - swipl-0.5.0 Documentation
Classes and Modules
- SWIPL
- SWIPL::CFFI
- SWIPL::ForeignControl
- SWIPL::ForeignFrame
- SWIPL::Predicate
- SWIPL::PrologFrame
- SWIPL::Query
- SWIPL::Term
Methods
- ::PL_retry — SWIPL::CFFI
- ::PL_retry_address — SWIPL::CFFI
- ::PL_succeed — SWIPL::CFFI
- ::bootstrap — SWIPL::CFFI
- ::deterministic — SWIPL
- ::fallacy — SWIPL
- ::find — SWIPL::Predicate
- ::find_all — SWIPL
- ::import_symbols — SWIPL::CFFI
- ::init — SWIPL::CFFI
- ::load — SWIPL::CFFI
- ::new — SWIPL::ForeignControl
- ::new — SWIPL::Predicate
- ::new — SWIPL::PrologFrame
- ::new — SWIPL::Query
- ::new — SWIPL::Term
- ::nondet — SWIPL
- ::on — SWIPL::PrologFrame
- ::open — SWIPL::PrologFrame
- ::predicate_proc — SWIPL::CFFI
- ::query — SWIPL
- ::truth — SWIPL
- ::verify — SWIPL
- #as_atom — SWIPL::Term
- #atom? — SWIPL::Term
- #atom_from_string — SWIPL::PrologFrame
- #close — SWIPL::PrologFrame
- #close — SWIPL::Query
- #context — SWIPL::ForeignControl
- #context= — SWIPL::ForeignControl
- #each_solution — SWIPL::Query
- #first_call? — SWIPL::ForeignControl
- #ground? — SWIPL::Term
- #id — SWIPL::Term
- #next_solution? — SWIPL::Query
- #pruning? — SWIPL::ForeignControl
- #put_atom — SWIPL::Term
- #put_string — SWIPL::Term
- #query_normally — SWIPL::Predicate
- #query_normally_with — SWIPL::Predicate
- #redo? — SWIPL::ForeignControl
- #ref — SWIPL::PrologFrame
- #refs — SWIPL::PrologFrame
- #term_id — SWIPL::Term
- #term_type — SWIPL::Term
- #terms — SWIPL::Query
- #to_s — SWIPL::Term
- #unify_atom_chars — SWIPL::Term
- #unify_string — SWIPL::Term
- #unify_with — SWIPL::Term