|Did you know ...||Search Documentation:|
|Pack ape -- prolog/utils/drs_to_fol_to_prenex.pl|
drs_to_fol(+DRS, +World, -FOL, -PRN) converts a discourse representation structure DRS to its
equivalent first-order formula FOL with possible worlds semantics, and to its prenex normal form PNF.
All constructs of ACE are processed with the exception of negation as failure and the modal operators 'may' and 'should' that cause the error 'Unsupported DRS construct'.
Syntax of DRS: negation '-', disjunction 'v', conjunction ',', implication '=>', negation as failure '~', possibility 'can', necessity 'must', label ':', admission 'may', recommendation 'should', maximality conditions for "at most", "less than" and "exactly" are bracketed by [ ]; discourse referents are lists of existentially - or in preconditions of implications universally - quantified variables.
Syntax of FOL and PRNF: negation '-', disjunction 'v', conjunction '&', implication '=>', maximality
conditions for "at most", "less than" and "exactly" are bracketed by [ ] ; universal quantification
forall(X,Formula)', existential quantification '
exists(X,Formula)', where 'X' is a Prolog variable.
The following predicates are exported, but not or incorrectly documented.