root/tags/lgt2310/library/atom.lgt

Revision 3687, 206 bytes (checked in by pmoura, 21 months ago)

Code reformating.
  • Property svn:eol-style set to native
  • Property svn:keywords set to Author Date Id Revision
Line 
1
2:- object(atom,
3    extends(atomic)).
4
5    :- info([
6        version is 1.0,
7        author is 'Paulo Moura',
8        date is 2000/7/24,
9        comment is 'Atom data type predicates.']).
10
11    valid(Atom) :-
12        atom(Atom).
13
14:- end_object.
Note: See TracBrowser for help on using the browser.