/************************************************************************/
/* Module: lint.p */
/************************************************************************/
:- op(1190,fx,'type').
:- op(1190,fx,'pred').
:- op(1190,fx,'dcg').
:- op(100,fx,'*').
:- op(850,xfx,'::').
:- op(1200,xfx,'<--').
l_body([],[],true).
l_body([X|Y],[Z|T],(X::Z, U)) :- l_body(Y,T,U).
(X::int <-- true) :- integer(X).
(X::float <-- true) :- float(X).
(X::str <-- true) :- atom(X).
foreign(X,Y,_)::goal <-- X::str, Y::str.
(X::T <-- U) :- X=..[F|L], length(L,N), clause(l_rec(F,N,T,R),true), l_body(L,R,U).
This file has been truncated. show original