[net.lang.prolog] PARLOG for C-Prolog - list of built-in predicates

west@uts.am.reading.UUCP (Jeremy West) (07/12/85)

Keywords:
Xpath: reading uts.am gateway.cs
Xref: ukc net.lang.prolog:496 net.sources:2658

Here is a list of built-in predicates for C-Prolog, v1.5,
for systems which don't provide the 'system' predicate as
required by PARLOG (as per addendum sheet i.e. true if arg
if built-in proceedure). You should change the definition
of sys/1 in file 'parlog' to call built_in/1 instead of
system/1.

I think it's complete, if you find any bugs, please let me know.

----------------------------------------------------------------

built_in(( abolish(F, N) )).
built_in(( abort )).
built_in(( append(F) )).
built_in(( append(A, B, AB) )).
built_in(( arg(N, T, A) )).
built_in(( assert(C) )).
built_in(( assert(C, R) )).
built_in(( asserta(C) )).
built_in(( asserta(C, R) )).
built_in(( assertz(C) )).
built_in(( assertz(C, R) )).
built_in(( atom(T) )).
built_in(( atomic(T) )).
built_in(( bagof(X, P, B) )).
built_in(( break )).
built_in(( call(P) )).
built_in(( clause(P, Q) )).
built_in(( clause(P, Q, R) )).
built_in(( close(F) )).
built_in(( compare(C, X, Y) )).
built_in(( consult(F) )).
built_in(( current_atom(A) )).
built_in(( current_functor(A, T) )).
built_in(( current_predicate(A, P) )).
built_in(( db_reference(T) )).
built_in(( debug )).
built_in(( debugging )).
built_in(( display(T) )).
built_in(( erase(R) )).
built_in(( erased(R) )).
built_in(( expanded_exprs(O, N) )).
built_in(( expand_term(T, X) )).
built_in(( exists(F) )).
built_in(( fail )).
built_in(( fileerrors )).
built_in(( functor(T, F, N) )).
built_in(( get(C) )).
built_in(( get0(C) )).
built_in(( halt )).
built_in(( instance(R, T) )).
built_in(( integer(T) )).
built_in(( Y is X )).
built_in(( keysort(L, S) )).
built_in(( leash(M) )).
built_in(( length(L, N) )).
built_in(( listing )).
built_in(( listing(P) )).
built_in(( name(A, L) )).
built_in(( nl )).
built_in(( nodebug )).
built_in(( nofileerrors )).
built_in(( nonvar(T) )).
built_in(( nospy P )).
built_in(( number(T) )).
built_in(( op(P, T, A) )).
built_in(( primitive(T) )).
built_in(( print(T) )).
built_in(( prompt(A, B) )).
built_in(( put(C) )).
built_in(( read(T) )).
built_in(( reconsult(F) )).
built_in(( recorda(K, T, R) )).
built_in(( recorded(K, T, R) )).
built_in(( recordz(K, T, R) )).
built_in(( rename(F, G) )).
built_in(( repeat )).
built_in(( retract(C) )).
built_in(( save(F) )).
built_in(( see(F) )).
built_in(( seeing(F) )).
built_in(( seen )).
built_in(( setof(X, P, B) )).
built_in(( sh )).  /* this may be UN*X specific ?? */
built_in(( skip(C) )).
built_in(( sort(L, S) )).
built_in(( spy P )).
built_in(( statistics )).
built_in(( system(S) )).  /* the trouble-maker ! */
built_in(( tab(N) )).
built_in(( tell(F) )).
built_in(( telling(F) )).
built_in(( told )).
built_in(( trace )).
built_in(( true )).
built_in(( ttynl )).   /* check these exist in your version */
built_in(( ttyget0 )).
built_in(( ttyget )).
built_in(( ttyskip )).
built_in(( ttyput )).  /* -------- " ------------ " ------- */
built_in(( var(T) )).
built_in(( write(T) )).
built_in(( writeq(T) )).
built_in(( 'LC' )).
built_in(( 'NOLC' )).
built_in(( :- B  )).
built_in(( H :- B )).
built_in(( ?- B )).
built_in(( A --> B )).
built_in(( A ; B )).
built_in(( A , B )).
built_in(( A -> B )).
built_in(( A -> B ; C )).
built_in(( ! )).
built_in(( \+ P )).
built_in(( X<Y )).
built_in(( X=<Y )).
built_in(( X>Y )).
built_in(( X>=Y )).
built_in(( X=Y )).
built_in(( T=..L )).
built_in(( X==Y )).
built_in(( X=:=Y )).
built_in(( X=\=Y )).
built_in(( X\==Y )).
built_in(( X@<Y )).
built_in(( X@=<Y )).
built_in(( X@>Y )).
built_in(( X@>=Y )).

/*
- I don't think it's necessary to define the arith ops as built-in
built_in(( X /\ Y )).
built_in(( X \/ Y )).
built_in(( \ X )).
built_in(( X << Y )).
built_in(( X >> Y )).
built_in(( X mod Y )).
built_in(( X ^ Y )).
built_in(( X * Y )).
built_in(( X / Y )).
built_in(( X // Y )).
built_in(( X - Y )).
built_in(( X + Y )).
built_in(( -X )).
built_in(( +X )).
built_in(( exp(A, X) )).
built_in(( log(A, X) )).
built_in(( log10(A, X) )).
built_in(( sqrt(A, X) )).
built_in(( sin(A, X) )).
built_in(( cos(A, X) )).
built_in(( tan(A, X) )).
built_in(( asin(A, X) )).
built_in(( acos(A, X) )).
built_in(( atan(A, X) )).
built_in(( floor(A, X) )).
built_in(( cputime )).
built_in(( heapused )).
built_in(( breaklevel )).
*/

-----------------------------------------------------------
	
That's all folks!

Jerry
-----
  west%rdg.cs@ucl-cs.ARPA       | Dept of Computer Science,
  west@cs.reading.UUCP          | University of Reading,
  west@uk.ac.reading.cs (JANET) | READING, RG6 2AX, U.K.