rdfql_util.pl

 select_results(+Distinct, +Offset, +Limit, +SortBy, -Result, :Goal)

Calls select_results/8 using Group=[] and Having=true.

 select_results(+Distinct, +Group, +Having, +Aggregates, +Offset, +Limit, +SortBy, -Result, :Goal) is nondet

Select results for the template Result on backtracking over Goal.

Arguments:

Distinct	- Iff 'distinct', only consider distinct solutions
Group	- is a list of variables on which to group the results. These are the only variables that can be used in the HAVING filter and final projection.
Having	- is a constraint (similar to FILTER) to filter grouped results.
Aggregates	- List of aggregate(Function, Var)
Offset	- Skip the first Offset results. Offset is applied after Distinct and SortBy
Limit	- Only return the first Limit results. Limit is applied after Distinct, SortBy and Offset. The value 'inf' returns all values.
SortBy	- Either 'unsorted' or a term order_by(Cols), where each Col in Cols is a term ascending(Expr) or descending(Expr).

To be done

- Group, Having and Aggregate are currently ignored.

 entailment_module(+Entailment, -Module)

Find the Prolog module implementing the entailment rules for a semantic web language.