SDA SE Wiki

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

User Tools

Site Tools


Differences

This shows you the differences between two versions of the page.

Link to this comparison view

research:cultivate:prologdocumentationconventions [2018/05/09 01:59] (current)
Line 1: Line 1:
 +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