One very small cosmetic issue I noticed: There is a tendency to use redundant single quotes for atoms. None of the atoms ., #, * etc. need to be quoted.
For example, it is perfectly valid to write a term V = vertex(X,Y,.) or T = f(#).
Single quotes have to be used for atoms like 'one atom'.
One very small cosmetic issue I noticed: There is a tendency to use redundant single quotes for atoms. None of the atoms
.
,#
,*
etc. need to be quoted.For example, it is perfectly valid to write a term
V = vertex(X,Y,.)
orT = f(#)
.Single quotes have to be used for atoms like
'one atom'
.