Comments

There are three style of comments in $\alpha$Prolog:

• Prolog-style line comments: lines starting with "%", as

  % comment
  % comment
  noncomment
  %comment
  

• C/Prolog-style nonnested block comments delimited with "/*" and "*/", as

  /* comment
     comment */
  noncomment
  /* comment */
  

• ML-style nested block comments delimited with "(*" and "*)", as

  (* comment
  (* comment *) *)
  noncomment
  (* comment *)
  

  Comments are always ignored in $\alpha$Prolog.