classified_procedure ::= (proc procedure_name clause_count indexing
Prolog-like source:foo(...). foo(...) :- . . . . . . .\ Lisp-like source:(hn (foo ...)) (ft (foo ...) . . .) . . .
Classified Clauses:(db (proc foo/2 2 indexing clause_classification clause_classification) . . .)
It is planned for the future to extend the description of a procedure by information about the modes of the arguments in all feasible calls to the procedure. In this way it should be possible that, on the one hand, the user can declare the modes and, on the other hand, a mode interpreter can compute the modes automatically. Thus the mode interpreter could check the consistency of the modes generated by the user in exactly the same way.