Documentation for Jinni File: util.pro

General Information:

This module keeps a couple of utilities used by Loq4Jinni which may also be of use to other modules. I think we should make a separate module called util where ofen used predicates are encapsulated for various other modules that may apply them.

Authored by:

Wolfgang Chico Toepfer

Date: June, 2003

Rules:

concat/2
concat/3
flatten/2
sgn/2
sgn/2
util/0

Rule Details:

concat/2

Forms:
- concat(+List, ?Atom)
True If Atom is the atoms in List, concatenated
concat/3

Forms:
- concat(+Atom1, +Atom2, ?Atom3)
True If Atom3 is Atom1 and Atom2 concatenated.
Note: compare with namecat e.g. namecat(a,:,b,A) the([A = a:b]) and reuse if possible
flatten/2

Forms:
- flatten(+ListOfLists, ?FlattenedList)
True If FlattenedList is a list of non-list elements, a flattened version of ListOfLists
sgn/2

Forms:
- abs(+Number, Absolute+Number)
True If AbsoluteNumber is the absolute number of Number
sgn/2

Forms:
- sgn(+Number, -Sign)
True If Sign is the simplified signum function value of Number
util/0

This is the predicate that gives this module a name: util. So all calls referring to this module must begin with util e.g. util:flatten([[1,2],[3,4]],L)