package info (click to toggle)
swi-prolog 9.2.9%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: sid, trixie
  • size: 84,456 kB
  • sloc: ansic: 401,705; perl: 374,799; lisp: 9,080; cpp: 8,920; java: 5,525; sh: 3,282; javascript: 2,690; python: 2,655; ruby: 1,594; yacc: 845; makefile: 440; xml: 317; sed: 12; sql: 6

Folder: library

d .. (parent)
d d rwxr-xr-x 104 build
d d rwxr-xr-x 138 clp
d d rwxr-xr-x 54 dcg
d d rwxr-xr-x 4,096 dialect
d d rwxr-xr-x 28 iri_scheme
d d rwxr-xr-x 102 lynx
d d rwxr-xr-x 46 theme
d d rwxr-xr-x 56 unicode
- - rw-r--r-- 24,385 aggregate.pl
- - rw-r--r-- 19,100 ansi_term.pl
- - rw-r--r-- 13,844 apply.pl
- - rw-r--r-- 15,801 apply_macros.pl
- - rw-r--r-- 10,050 arithmetic.pl
- - rw-r--r-- 18,327 assoc.pl
- - rw-r--r-- 5,422 atom.pl
- - rw-r--r-- 20,251 backcomp.pl
- - rw-r--r-- 8,293 base32.pl
- - rw-r--r-- 13,173 base64.pl
- - rw-r--r-- 5,355 broadcast.pl
- - rw-r--r-- 6,636 charsio.pl
- - rw-r--r-- 34,662 check.pl
- - rw-r--r-- 27,976 check_installation.pl
- - rw-r--r-- 3,256 checklast.pl
- - rw-r--r-- 3,195 checkselect.pl
- - rw-r--r-- 6,449 codesio.pl
- - rw-r--r-- 6,060 coinduction.pl
- - rw-r--r-- 3,687 console_input.pl
- - rw-r--r-- 18,920 csv.pl
- - rw-r--r-- 5,022 ctypes.pl
- - rw-r--r-- 9,701 date.pl
- - rw-r--r-- 8,716 dde.pl
- - rw-r--r-- 16,079 debug.pl
- - rw-r--r-- 4,093 dialect.pl
- - rw-r--r-- 10,656 dicts.pl
- - rw-r--r-- 13,542 dif.pl
- - rw-r--r-- 6,137 dom.pl
- - rw-r--r-- 4,505 edinburgh.pl
- - rw-r--r-- 19,204 edit.pl
- - rw-r--r-- 16,938 error.pl
- - rw-r--r-- 14,872 explain.pl
- - rw-r--r-- 4,389 fastrw.pl
- - rw-r--r-- 2,757 files.pl
- - rw-r--r-- 4,014 gensym.pl
- - rw-r--r-- 31,203 git.pl
- - rw-r--r-- 10,324 hashtable.pl
- - rw-r--r-- 8,277 heaps.pl
- - rw-r--r-- 19,719 help.pl
- - rw-r--r-- 7,882 hotfix.pl
- - rw-r--r-- 7,304 increval.pl
- - rw-r--r-- 8,622 intercept.pl
- - rw-r--r-- 8,777 iostream.pl
- - rw-r--r-- 16,500 lazy_lists.pl
- - rw-r--r-- 38,161 listing.pl
- - rw-r--r-- 25,204 lists.pl
- - rw-r--r-- 16,366 macros.pl
- - rw-r--r-- 36,104 main.pl
- - rw-r--r-- 6,787 make.pl
- - rw-r--r-- 4,849 modules.pl
- - rw-r--r-- 7,938 nb_rbtrees.pl
- - rw-r--r-- 5,666 nb_set.pl
- - rw-r--r-- 4,122 obfuscate.pl
- - rw-r--r-- 7,510 occurs.pl
- - rw-r--r-- 5,280 operators.pl
- - rw-r--r-- 12,614 option.pl
- - rw-r--r-- 37,769 optparse.pl
- - rw-r--r-- 16,552 ordsets.pl
- - rw-r--r-- 4,693 oset.pl
- - rw-r--r-- 5,864 pairs.pl
- - rw-r--r-- 21,921 persistency.pl
- - rw-r--r-- 1,927 pio.pl
- - rw-r--r-- 8,779 portray_text.pl
- - rw-r--r-- 30,082 pprint.pl
- - rw-r--r-- 31,431 predicate_options.pl
- - rw-r--r-- 8,865 progman.pl
- - rw-r--r-- 8,549 prolog_autoload.pl
- - rw-r--r-- 14,371 prolog_breakpoints.pl
- - rw-r--r-- 36,413 prolog_clause.pl
- - rw-r--r-- 12,261 prolog_code.pl
- - rw-r--r-- 42,108 prolog_codewalk.pl
- - rw-r--r-- 109,518 prolog_colour.pl
- - rw-r--r-- 5,809 prolog_config.pl
- - rw-r--r-- 44,815 prolog_coverage.pl
- - rw-r--r-- 10,451 prolog_debug.pl
- - rw-r--r-- 19,931 prolog_deps.pl
- - rw-r--r-- 7,989 prolog_evaluable.pl
- - rw-r--r-- 6,487 prolog_format.pl
- - rw-r--r-- 5,865 prolog_history.pl
- - rw-r--r-- 5,185 prolog_jiti.pl
- - rw-r--r-- 9,814 prolog_metainference.pl
- - rw-r--r-- 128,927 prolog_pack.pl
- - rw-r--r-- 10,473 prolog_profile.pl
- - rw-r--r-- 36,766 prolog_source.pl
- - rw-r--r-- 25,978 prolog_stack.pl
- - rw-r--r-- 11,494 prolog_trace.pl
- - rw-r--r-- 12,192 prolog_versions.pl
- - rw-r--r-- 6,152 prolog_wrap.pl
- - rw-r--r-- 95,458 prolog_xref.pl
- - rw-r--r-- 9,875 pure_input.pl
- - rw-r--r-- 22,305 qpforeign.pl
- - rw-r--r-- 41,991 qsave.pl
- - rw-r--r-- 11,386 quasi_quotations.pl
- - rw-r--r-- 13,093 quintus.pl
- - rw-r--r-- 13,449 random.pl
- - rw-r--r-- 37,397 rbtrees.pl
- - rw-r--r-- 8,936 readln.pl
- - rw-r--r-- 11,155 readutil.pl
- - rw-r--r-- 16,608 record.pl
- - rw-r--r-- 5,873 rwlocks.pl
- - rw-r--r-- 43,353 sandbox.pl
- - rw-r--r-- 24,036 settings.pl
- - rw-r--r-- 10,705 shell.pl
- - rw-r--r-- 22,435 shlib.pl
- - rw-r--r-- 12,252 solution_sequences.pl
- - rw-r--r-- 3,978 sort.pl
- - rw-r--r-- 17,257 statistics.pl
- - rw-r--r-- 4,414 streams.pl
- - rw-r--r-- 15,548 strings.pl
- - rw-r--r-- 3,308 system.pl
- - rw-r--r-- 12,611 tables.pl
- - rw-r--r-- 1,800 tabling.pl
- - rw-r--r-- 14,693 terms.pl
- - rw-r--r-- 27,702 thread.pl
- - rw-r--r-- 16,883 thread_pool.pl
- - rw-r--r-- 16,651 threadutil.pl
- - rw-r--r-- 9,275 tty.pl
- - rw-r--r-- 21,353 ugraphs.pl
- - rw-r--r-- 28,153 url.pl
- - rw-r--r-- 4,605 utf8.pl
- - rw-r--r-- 7,141 varnumbers.pl
- - rw-r--r-- 8,125 vm.pl
- - rw-r--r-- 14,195 wasm.pl
- - rw-r--r-- 6,921 wfs.pl
- - rw-r--r-- 7,757 when.pl
- - rw-r--r-- 15,557 win_menu.pl
- - rw-r--r-- 9,921 writef.pl
- - rw-r--r-- 8,307 www_browser.pl
- - rw-r--r-- 19,510 yall.pl
- - rw-r--r-- 7,641 zip.pl