root/tags/lgt2310/library/callable.lgt

Revision 3687, 260 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(callable,
3    extends(term)).
4
5    :- info([
6        version is 1.1,
7        author is 'Paulo Moura',
8        date is 2007/4/29,
9        comment is 'Callable term type predicates.']).
10
11    valid(Callable) :-
12        (   atom(Callable) ->
13            true
14        ;   compound(Callable)
15        ).
16
17:- end_object.
Note: See TracBrowser for help on using the browser.