| Did you know ... | Search Documentation: |
 | Pack ape -- prolog/utils/is_wellformed.pl |
- HOME
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- COMMERCIAL
- WIKI
- is_wellformed(+Drs:term) is det
- Succeeds if Drs is wellformed. Wellformedness means:
- No discourse referent is declared twice.
- Every used discourse referent is declared in an accessible DRS.
- Every declared discourse referent is used in the same DRS. @param Drs is an Attempto DRS