| Constant summary | |
|---|---|
| +acerules-prefix+ | "http://attempto.ifi.uzh.ch/acerules" |
| +acerules-webservice+ | "http://attempto.ifi.uzh.ch/ws/acerules/acerulesws.perl" |
| Class summary | |
|---|---|
| acerules-reply | |
| step | |
| Method summary | |
|---|---|
| acerules-reply-ace-trace | acerules-reply |
| acerules-reply-answersets | acerules-reply |
| acerules-reply-answertexts | acerules-reply |
| acerules-reply-rules | acerules-reply |
| acerules-reply-simple-rules | acerules-reply |
| acerules-reply-trace | acerules-reply |
| step-consistent | step |
| step-delete | step |
| step-raw | step |
| Function summary | |
|---|---|
| acerules | &rest args &key program mode user-lexicon-url guess max-answers rules-output simple-rules-output answerset-output answertext-output trace-output ace-trace-output uri drakma-parameters |
| invoke-acerules-webservice | &rest args &key program mode user-lexicon-url guess max-answers rules-output simple-rules-output answerset-output answertext-output trace-output ace-trace-output (uri +acerules-webservice+) (drakma-parameters (quote (:method :post))) |
| :rules | [Initarg] |
| :simple-rules | [Initarg] |
| :answersets | [Initarg] |
| :answertexts | [Initarg] |
| :trace | [Initarg] |
| :ace-trace | [Initarg] |
| answersets | [Slot] |
A list of the string contents of the Answerset elements.
| answertexts | [Slot] |
A list of the string contents of Answertext elements.
| trace | [Slot] |
A list of step objects.
| ace-trace | [Slot] |
A list of step objects.
Returns the ace-trace of the specified acerules-reply
Returns the trace of the specified acerules-reply
Returns the answertexts of the specified acerules-reply
Returns the answersets of the specified acerules-reply
Returns the simple-rules of the specified acerules-reply
| :raw | [Initarg] |
| :delete | [Initarg] |
| :consistent | [Initarg] |
| delete | [Slot] |
The delete slot is used only for steps in the Trace element, and is always used there. It is never used (and so always unbound) for steps in the ACETrace element.
The URL of the AceRules webservice: http://attempto.ifi.uzh.ch/ws/acerules/acerulesws.perl
The AceRules prefix in the SOAP requests and replies: http://attempto.ifi.uzh.ch/acerules
| invoke-acerules-webservice | &rest args &key program mode user-lexicon-url guess max-answers rules-output simple-rules-output answerset-output answertext-output trace-output ace-trace-output (uri +acerules-webservice+) (drakma-parameters (quote (:method :post))) | [Function] |
invoke-acerules-webservice &rest keys => result
invoke-acerules-webservice accepts the following keyword arguments, which are based on those of the webservice. See the documentation on the AceRules Webservice [1] for more details.
:program --- a string of ACE text
:mode --- a string designator that must be string-equal to one of "court", "courteous", "stable", "stable_strong", or "stable-strong". This is subtly different from the webservice's "court", "stable", and "stable_strong", but intended to be more flexible and Lisp-like, allowing, particularly, the keywords :courteous, :stable, and :stable-strong.
:user-lexicon-url --- a string denoting a URL
:max-answers --- a positive integer
:guess, :rules-output, :simple-rules-output, :answerset-output, :answertext-output, :trace-output, :ace-trace-output --- generalized booleans invoke-acerules-webservice also accepts two other keyword arguments:
:uri --- the uri to which the SOAP request is sent. The default value is +acerules-webservice+
:drakma-parameters --- a plist used as arguments to drakma:http-request. The default is '(:method :POST). See the DRAKMA documentation [2] for more details. Note that invoke-acerules-webserbservice specifies the content, so a :content argument in drakma-parameters will be ignored.
invoke-acerules-webservice sends a AceRules to URI using DRAKMA:HTTP-REQUEST. The values from DRAKMA:HTTP-REQUEST are returned directly---no post-processing is done. For post-processing (e.g., parsing into CLOS objects, see acerules .
| acerules | &rest args &key program mode user-lexicon-url guess max-answers rules-output simple-rules-output answerset-output answertext-output trace-output ace-trace-output uri drakma-parameters | [Function] |
acerules &rest args => result
args --- keyword arguments.
result --- an acerules-reply
The arguments accepted by acerules are those accepted by invoke-acerules-webservice . These are passed through directly to invoke-acerules-webservice. Unlike invoke-acerules-webservice, which returns its values directly from DRAKMA:HTTP-REQUEST, acerules parses the reply into corresponding CLOS classes, viz.: acerules-reply and step .
Since acerules attempts to parse the result of invoke-acerules-webservice which, in turn, returns values from DRAKMA:HTTP-REQUEST, drakma-parameters is passed to invoke-acerules-webservice with :WANT-STREAM NIL.