class SWIPL::Query
Public Class Methods
new( qid, terms )
click to toggle source
# File lib/swipl/query.rb, line 4 def initialize( qid, terms ) raise "query_id is nil" unless qid @query_id = qid @terms = terms end
Public Instance Methods
close()
click to toggle source
# File lib/swipl/query.rb, line 24 def close CFFI.PL_close_query( @query_id ) end
each_solution() { |terms| ... }
click to toggle source
# File lib/swipl/query.rb, line 14 def each_solution while next_solution? yield(@terms) end end
next_solution?()
click to toggle source
# File lib/swipl/query.rb, line 10 def next_solution? CFFI.PL_next_solution( @query_id ) == PL_TRUE end
terms()
click to toggle source
# File lib/swipl/query.rb, line 20 def terms @terms end