Package org.prolog4j.swi.impl
Class SWIPrologQuery
- java.lang.Object
-
- org.prolog4j.Query
-
- org.prolog4j.swi.impl.SWIPrologQuery
-
public class SWIPrologQuery extends Query
The tuProlog implementation of the Query class.
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Query
bind(int argument, Object value)
Binds a value to the specified argument of the goal.Query
bind(String variable, Object value)
Binds a value to the specified argument of the goal.<A> Solution<A>
solve(Object... actualArgs)
Solves the Prolog goal and returns an object using which the individual solutions can be iterated over.-
Methods inherited from class org.prolog4j.Query
getGoal, getPlaceholderNames
-
-
-
-
Method Detail
-
solve
public <A> Solution<A> solve(Object... actualArgs)
Description copied from class:Query
Solves the Prolog goal and returns an object using which the individual solutions can be iterated over. The actual arguments will be bound to the placeholders before solving the goal.
-
bind
public Query bind(int argument, Object value)
Description copied from class:Query
Binds a value to the specified argument of the goal. The argument is specified by its position. Numbering starts from zero.The method returns the same query instance.
-
-