acerules

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)))
acerules-reply    [Class]
: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.

acerules-reply-ace-trace   acerules-reply  [Generic function]

Returns the ace-trace of the specified acerules-reply

acerules-reply-trace   acerules-reply  [Generic function]

Returns the trace of the specified acerules-reply

acerules-reply-answertexts   acerules-reply  [Generic function]

Returns the answertexts of the specified acerules-reply

acerules-reply-answersets   acerules-reply  [Generic function]

Returns the answersets of the specified acerules-reply

acerules-reply-simple-rules   acerules-reply  [Generic function]

Returns the simple-rules of the specified acerules-reply

acerules-reply-rules   acerules-reply  [Generic function]

Returns the rules of the specified acerules-reply

step    [Class]
: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.

step-consistent   step  [Generic function]

Returns the consistent of the specified step

step-delete   step  [Generic function]

Returns the delete of the specified step

step-raw   step  [Generic function]

Returns the raw of the specified step

+acerules-webservice+   "http://attempto.ifi.uzh.ch/ws/acerules/acerulesws.perl"  [Constant]

The URL of the AceRules webservice: http://attempto.ifi.uzh.ch/ws/acerules/acerulesws.perl

+acerules-prefix+   "http://attempto.ifi.uzh.ch/acerules"  [Constant]

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]

Syntax:

invoke-acerules-webservice &rest keys => result

Arguments and Values:

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.

Description:

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 .

See Also:

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]

Syntax:

acerules &rest args => result

Arguments and Values:

Description:

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 .

Notes:

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.

See Also: