SDA SE Wiki

Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering

User Tools

Site Tools


clarify the intention of the predicate: use prefixes on variable names in documentation

  • + must be bound previously (input)
  • ? can not be bound previously (depends on how one wants to use the predicate)

Not needed (should be ?):

  • - must not be bound previously (output)
research/cultivate/prologdocumentationconventions.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019