drwxr-xr-x | 4096 | root |
root |
/usr/include/Yap
|
-rw-r--r-- | 3285 | root |
root |
/usr/include/Yap/Atoms.h
|
-rw-r--r-- | 17971 | root |
root |
/usr/include/Yap/Regs.h
|
-rw-r--r-- | 25800 | root |
root |
/usr/include/Yap/SWI-Prolog.h
|
-rw-r--r-- | 13402 | root |
root |
/usr/include/Yap/SWI-Stream.h
|
-rw-r--r-- | 3743 | root |
root |
/usr/include/Yap/Tags_24bits.h
|
-rw-r--r-- | 4336 | root |
root |
/usr/include/Yap/Tags_32LowTag.h
|
-rw-r--r-- | 6330 | root |
root |
/usr/include/Yap/Tags_32Ops.h
|
-rw-r--r-- | 3919 | root |
root |
/usr/include/Yap/Tags_32bits.h
|
-rw-r--r-- | 4018 | root |
root |
/usr/include/Yap/Tags_64bits.h
|
-rw-r--r-- | 12256 | root |
root |
/usr/include/Yap/TermExt.h
|
-rw-r--r-- | 32779 | root |
root |
/usr/include/Yap/Yap.h
|
-rw-r--r-- | 5175 | root |
root |
/usr/include/Yap/YapHeap.h
|
-rw-r--r-- | 17285 | root |
root |
/usr/include/Yap/YapInterface.h
|
-rw-r--r-- | 16922 | root |
root |
/usr/include/Yap/Yapproto.h
|
-rw-r--r-- | 33228 | root |
root |
/usr/include/Yap/Yatom.h
|
-rw-r--r-- | 43972 | root |
root |
/usr/include/Yap/absmi.h
|
-rw-r--r-- | 3132 | root |
root |
/usr/include/Yap/alloc.h
|
-rw-r--r-- | 25049 | root |
root |
/usr/include/Yap/amidefs.h
|
-rw-r--r-- | 15844 | root |
root |
/usr/include/Yap/amiops.h
|
-rw-r--r-- | 11927 | root |
root |
/usr/include/Yap/arith2.h
|
-rw-r--r-- | 915 | root |
root |
/usr/include/Yap/arrays.h
|
-rw-r--r-- | 1698 | root |
root |
/usr/include/Yap/attvar.h
|
-rw-r--r-- | 9204 | root |
root |
/usr/include/Yap/c_interface.h
|
-rw-r--r-- | 10516 | root |
root |
/usr/include/Yap/clause.h
|
-rw-r--r-- | 684 | root |
root |
/usr/include/Yap/clause_list.h
|
-rw-r--r-- | 7085 | root |
root |
/usr/include/Yap/compile.h
|
-rw-r--r-- | 7885 | root |
root |
/usr/include/Yap/config.h
|
-rw-r--r-- | 1245 | root |
root |
/usr/include/Yap/corout.h
|
-rw-r--r-- | 1982 | root |
root |
/usr/include/Yap/cut_c.h
|
-rw-r--r-- | 6202 | root |
root |
/usr/include/Yap/dglobals.h
|
-rw-r--r-- | 10378 | root |
root |
/usr/include/Yap/dhstruct.h
|
-rw-r--r-- | 52423 | root |
root |
/usr/include/Yap/dlmalloc.h
|
-rw-r--r-- | 23631 | root |
root |
/usr/include/Yap/dswiatoms.h
|
-rw-r--r-- | 10814 | root |
root |
/usr/include/Yap/eam.h
|
-rw-r--r-- | 4927 | root |
root |
/usr/include/Yap/eamamasm.h
|
-rw-r--r-- | 8683 | root |
root |
/usr/include/Yap/eval.h
|
-rw-r--r-- | 4436 | root |
root |
/usr/include/Yap/heapgc.h
|
-rw-r--r-- | 3997 | root |
root |
/usr/include/Yap/hglobals.h
|
-rw-r--r-- | 6226 | root |
root |
/usr/include/Yap/hstruct.h
|
-rw-r--r-- | 20371 | root |
root |
/usr/include/Yap/iatoms.h
|
-rw-r--r-- | 5904 | root |
root |
/usr/include/Yap/iglobals.h
|
-rw-r--r-- | 9056 | root |
root |
/usr/include/Yap/ihstruct.h
|
-rw-r--r-- | 2586 | root |
root |
/usr/include/Yap/index.h
|
-rw-r--r-- | 3802 | root |
root |
/usr/include/Yap/iopreds.h
|
-rw-r--r-- | 44934 | root |
root |
/usr/include/Yap/iswiatoms.h
|
-rw-r--r-- | 2149 | root |
root |
/usr/include/Yap/locks_alpha.h
|
-rw-r--r-- | 3188 | root |
root |
/usr/include/Yap/locks_alpha_funcs.h
|
-rw-r--r-- | 3248 | root |
root |
/usr/include/Yap/locks_mips.h
|
-rw-r--r-- | 3359 | root |
root |
/usr/include/Yap/locks_mips_funcs.h
|
-rw-r--r-- | 2295 | root |
root |
/usr/include/Yap/locks_pthread.h
|
-rw-r--r-- | 3626 | root |
root |
/usr/include/Yap/locks_sparc.h
|
-rw-r--r-- | 4416 | root |
root |
/usr/include/Yap/locks_x86.h
|
-rw-r--r-- | 5158 | root |
root |
/usr/include/Yap/myddas.h
|
-rw-r--r-- | 6740 | root |
root |
/usr/include/Yap/myddas_statistics.h
|
-rw-r--r-- | 990 | root |
root |
/usr/include/Yap/myddas_statistics_structs.h
|
-rw-r--r-- | 1444 | root |
root |
/usr/include/Yap/myddas_structs.h
|
-rw-r--r-- | 400 | root |
root |
/usr/include/Yap/myddas_wkb.h
|
-rw-r--r-- | 136 | root |
root |
/usr/include/Yap/myddas_wkb2prolog.h
|
-rw-r--r-- | 10145 | root |
root |
/usr/include/Yap/opt.config.h
|
-rw-r--r-- | 37761 | root |
root |
/usr/include/Yap/opt.macros.h
|
-rw-r--r-- | 3184 | root |
root |
/usr/include/Yap/opt.proto.h
|
-rw-r--r-- | 18513 | root |
root |
/usr/include/Yap/opt.structs.h
|
-rw-r--r-- | 20019 | root |
root |
/usr/include/Yap/or.macros.h
|
-rw-r--r-- | 12214 | root |
root |
/usr/include/Yap/or.sbaamiops.h
|
-rw-r--r-- | 2487 | root |
root |
/usr/include/Yap/or.sbaunify.h
|
-rw-r--r-- | 1256 | root |
root |
/usr/include/Yap/parms.h
|
-rw-r--r-- | 18939 | root |
root |
/usr/include/Yap/ratoms.h
|
-rw-r--r-- | 27387 | root |
root |
/usr/include/Yap/rclause.h
|
-rw-r--r-- | 1856 | root |
root |
/usr/include/Yap/rglobals.h
|
-rw-r--r-- | 40253 | root |
root |
/usr/include/Yap/rheap.h
|
-rw-r--r-- | 7186 | root |
root |
/usr/include/Yap/rhstruct.h
|
-rw-r--r-- | 750 | root |
root |
/usr/include/Yap/rtree_udi.h
|
-rw-r--r-- | 17949 | root |
root |
/usr/include/Yap/sshift.h
|
-rw-r--r-- | 13881 | root |
root |
/usr/include/Yap/tab.structs.h
|
-rw-r--r-- | 31787 | root |
root |
/usr/include/Yap/tatoms.h
|
-rw-r--r-- | 581 | root |
root |
/usr/include/Yap/threads.h
|
-rw-r--r-- | 958 | root |
root |
/usr/include/Yap/tracer.h
|
-rw-r--r-- | 4366 | root |
root |
/usr/include/Yap/trim_trail.h
|
-rw-r--r-- | 1207 | root |
root |
/usr/include/Yap/udi.h
|
-rw-r--r-- | 5531 | root |
root |
/usr/include/Yap/yap_structs.h
|
-rw-r--r-- | 10708 | root |
root |
/usr/include/Yap/yapio.h
|
lrwxrwxrwx | 15 | root |
root |
/usr/lib64/libYap.so
|