This file is indexed.

/usr/share/Yap/terms.yap is in yap 5.1.3-6.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
/*************************************************************************
*									 *
*	 YAP Prolog 							 *
*									 *
*	Yap Prolog was developed at NCCUP - Universidade do Porto	 *
*									 *
* Copyright L.Damas, V.S.Costa and Universidade do Porto 1985-1997	 *
*									 *
**************************************************************************
*									 *
* File:		terms.yap						 *
* Last rev:	5/12/99							 *
* mods:									 *
* comments:	Term manipulation operations				 *
*									 *
*************************************************************************/

:- module(terms, [
	term_hash/2,
	term_hash/4,
	term_variables/2,
	term_variables/3,
	variant/2,
	unifiable/3,
	subsumes/2,
	subsumes_chk/2,
        cyclic_term/1,
        acyclic_term/1,
        variable_in_term/2
    ]).

term_hash(T,H) :-
	term_hash(T, -1, 33554432, H).

%term_hash(X,Y) :-
%	term_hash(X,-1,16'1000000,Y).

subsumes_chk(X,Y) :-
	\+ \+ subsumes(X,Y).

unifiable(X,Y,Z) :-
	protected_unifiable(X,Y,Z), !.
unifiable(_,_,_) :- fail.