Table of Contents - rubylog-2.1.0 Documentation
Pages
- LICENSE
-
README
- Rubylog - Prolog interpreter for ruby
- Getting started
- Installing
- The context
- Data types
- Predicates
- Nullary predicates
- Asserting clauses
- Unification
- Guards
- Moving between Ruby and Rubylog
- Running a query
- Finding solutions
- Procs as predicates
- Procs as functions
- Variables in blocks
- Rspec integration
- Built-in predicates
- Quantifiers
- File system
- Reflection
- Arithmetics
- Assumptions
- Troubleshooting
- Contributing
- To the language
- Reporting bugs or requesting features
- Copyright
Classes and Modules
- Array
- Class
- Hash
- Kernel
- Method
- Object
- Proc
- Rubylog
- Rubylog::Assertable
- Rubylog::CheckFailed
- Rubylog::CompoundTerm
- Rubylog::Context
- Rubylog::Context::context
- Rubylog::ContextModules
- Rubylog::ContextModules::Checks
- Rubylog::ContextModules::Demonstration
- Rubylog::ContextModules::Predicates
- Rubylog::ContextModules::Primitives
- Rubylog::ContextModules::Thats
- Rubylog::DSL
- Rubylog::DSL::ArraySplat
- Rubylog::DSL::Indicators
- Rubylog::DSL::Primitives
- Rubylog::DSL::Thats
- Rubylog::DSL::Thats::Not
- Rubylog::DSL::Variables
- Rubylog::DefaultContext
- Rubylog::DefaultContext::primitives_for ::Rubylog::Assertable
- Rubylog::ExistenceError
- Rubylog::Goal
- Rubylog::InstantiationError
- Rubylog::InvalidStateError
- Rubylog::Predicate
- Rubylog::Primitive
- Rubylog::Procedure
- Rubylog::RSpecExampleGroup
- Rubylog::RubylogError
- Rubylog::RubylogFiles
- Rubylog::Rule
- Rubylog::Structure
- Rubylog::SyntaxError
- Rubylog::Term
- Rubylog::Tracing
- Rubylog::Variable
- Rubylog::source_object
- String
- Symbol
- primitives
- primitives_for Numeric
- primitives_for Rubylog::Structure
- primitives_for Rubylog::Term
- primitives_for [::Rubylog::Structure, ::Rubylog::Goal]
- primitives_for [Rubylog::Assertable, ::Rubylog::Structure]
- primitives_for_goal
Methods
- ::convert_source — Rubylog::RubylogFiles
- ::create_context — Rubylog
- ::extended — Rubylog::Context
- ::humanize_indicator — Rubylog::DSL::Indicators
- ::included — Rubylog::RSpecExampleGroup
- ::included — Rubylog::Context
- ::included — Rubylog::DSL::Variables
- ::new — Rubylog::DSL::ArraySplat
- ::new — Rubylog::DSL::Primitives
- ::new — Rubylog::RubylogError
- ::new — Rubylog::ExistenceError
- ::new — Rubylog::InstantiationError
- ::new — Rubylog::CheckFailed
- ::new — Rubylog::Predicate
- ::new — Rubylog::Primitive
- ::new — Rubylog::Procedure
- ::new — Rubylog::Rule
- ::new — Rubylog::Structure
- ::new — Rubylog::Variable
- ::rubylog_unify_strings — String
- ::unhumanize_indicator — Rubylog::DSL::Indicators
- ::with_vars — Rubylog::DSL::Variables
- #== — Rubylog::DSL::ArraySplat
- #== — Rubylog::DSL::Thats
- #== — Rubylog::Structure
- #== — Rubylog::Variable
- #[] — Rubylog::Structure
- #[] — Rubylog::Variable
- #add_functor_to — Rubylog::Predicate
- #append_guards — Rubylog::Variable
- #args — Symbol
- #arity — Rubylog::Structure
- #assert — Rubylog::Procedure
- #bind_to — Rubylog::Variable
- #bind_to! — Rubylog::Variable
- #bound? — Rubylog::Variable
- #call — Rubylog::Predicate
- #call — Rubylog::Primitive
- #call — Rubylog::Procedure
- #call_with_rubylog_variables — Proc
- #check — Rubylog::ContextModules::Checks
- #check_failed — Rubylog::ContextModules::Checks
- #check_passed — Rubylog::ContextModules::Checks
- #check_raised_exception — Rubylog::ContextModules::Checks
- #create_procedure — Rubylog::ContextModules::Predicates
- #default_subject — Rubylog::ContextModules::Predicates
- #dont_care? — Rubylog::Variable
- #each_indicator — Rubylog::ContextModules::Predicates
- #eql? — Rubylog::DSL::ArraySplat
- #eql? — Rubylog::Structure
- #eql? — Rubylog::Variable
- #hash — Rubylog::Structure
- #if — Rubylog::Assertable
- #if! — Rubylog::Assertable
- #indicator — Rubylog::Structure
- #inspect — Rubylog::DSL::ArraySplat
- #inspect — Rubylog::DSL::Primitives
- #inspect — Rubylog::DSL::Thats
- #inspect — Rubylog::Procedure
- #inspect — Rubylog::Rule
- #inspect — Rubylog::Structure
- #inspect — Rubylog::Variable
- #load_rubylog — Kernel
- #method_missing — Rubylog::DSL::Thats
- #method_missing — Rubylog::Procedure
- #predicate — Symbol
- #predicate — Rubylog::Structure
- #predicate — Rubylog::ContextModules::Predicates
- #predicate_for — Rubylog::ContextModules::Predicates
- #predicate_for_context — Rubylog::ContextModules::Predicates
- #primitives — Rubylog::ContextModules::Primitives
- #primitives_for — Rubylog::ContextModules::Primitives
- #primitives_for_context — Rubylog::ContextModules::Primitives
- #prove — Proc
- #prove — Symbol
- #prove — Rubylog::Structure
- #prove — Rubylog::Variable
- #prove — Rubylog::Goal
- #remove_internal_lines — Rubylog::RubylogError
- #rubylog — Kernel
- #rubylog_clone — Rubylog::DSL::ArraySplat
- #rubylog_clone — Array
- #rubylog_clone — Proc
- #rubylog_clone — String
- #rubylog_clone — Rubylog::Rule
- #rubylog_clone — Rubylog::Structure
- #rubylog_clone — Rubylog::Term
- #rubylog_deep_dereference — Rubylog::DSL::ArraySplat
- #rubylog_deep_dereference — Array
- #rubylog_deep_dereference — String
- #rubylog_deep_dereference — Rubylog::Rule
- #rubylog_deep_dereference — Rubylog::Structure
- #rubylog_deep_dereference — Rubylog::Variable
- #rubylog_deep_dereference — Rubylog::Term
- #rubylog_dereference — Rubylog::Variable
- #rubylog_dereference — Rubylog::Term
- #rubylog_get_string_variable — String
- #rubylog_match_variables — Rubylog::CompoundTerm
- #rubylog_match_variables — Rubylog::Term
- #rubylog_matches_as_guard? — Rubylog::DSL::Thats
- #rubylog_matches_as_guard? — Rubylog::DSL::Thats::Not
- #rubylog_matches_as_guard? — Hash
- #rubylog_matches_as_guard? — Object
- #rubylog_resolve_function — Proc
- #rubylog_resolve_function — Rubylog::Term
- #rubylog_segments — String
- #rubylog_traceable — Class
- #rubylog_unify — Array
- #rubylog_unify — String
- #rubylog_unify — Rubylog::Structure
- #rubylog_unify — Rubylog::Variable
- #rubylog_unify — Rubylog::Term
- #rubylog_variables — Rubylog::Variable
- #rubylog_variables — Rubylog::Term
- #singleton_method_added — Rubylog::DSL::Primitives
- #solve — Rubylog::ContextModules::Demonstration
- #solve — Rubylog::Goal
- #thats — Rubylog::ContextModules::Thats
- #thats_not — Rubylog::ContextModules::Thats
- #to_a — Rubylog::Variable
- #to_s — Rubylog::Structure
- #to_s — Rubylog::Variable
- #trace — Rubylog::Tracing
- #trace? — Rubylog::Tracing
- #traceable — Rubylog::Tracing
- #true? — Rubylog::ContextModules::Demonstration
- #true? — Rubylog::Goal
- #unless — Rubylog::Assertable
- #update_trace — Rubylog::Tracing
- #value — Rubylog::Variable