AnswerQuery

class AnswerQuery(query: Term)

The answer of a query as the solvers of arg2p give it: the goal answerQuery(Query, In, Out, Und), and the Answer its first yes solution gives

Constructors

Link copied to clipboard
constructor(query: Term)

Properties

Link copied to clipboard
val goal: Struct

The goal answering the query

Functions

Link copied to clipboard
fun answer(solution: Solution?): Answer

The answer solution gives, the first yes solution of goal (none for no solution)