463 lines
12 KiB
Text
463 lines
12 KiB
Text
@comment $NetBSD: PLIST,v 1.9 2011/07/08 11:40:27 asau Exp $
|
|
bin/yap
|
|
include/Yap/Atoms.h
|
|
include/Yap/Regs.h
|
|
include/Yap/SWI-Prolog.h
|
|
include/Yap/SWI-Stream.h
|
|
include/Yap/Tags_24bits.h
|
|
include/Yap/Tags_32LowTag.h
|
|
include/Yap/Tags_32Ops.h
|
|
include/Yap/Tags_32bits.h
|
|
include/Yap/Tags_64bits.h
|
|
include/Yap/TermExt.h
|
|
include/Yap/Yap.h
|
|
include/Yap/YapHeap.h
|
|
include/Yap/YapInterface.h
|
|
include/Yap/Yapproto.h
|
|
include/Yap/Yatom.h
|
|
include/Yap/absmi.h
|
|
include/Yap/alloc.h
|
|
include/Yap/amidefs.h
|
|
include/Yap/amiops.h
|
|
include/Yap/arith2.h
|
|
include/Yap/arrays.h
|
|
include/Yap/attvar.h
|
|
include/Yap/c_interface.h
|
|
include/Yap/clause.h
|
|
include/Yap/clause_list.h
|
|
include/Yap/compile.h
|
|
include/Yap/config.h
|
|
include/Yap/corout.h
|
|
include/Yap/cut_c.h
|
|
include/Yap/dglobals.h
|
|
include/Yap/dhstruct.h
|
|
include/Yap/dlmalloc.h
|
|
include/Yap/dswiatoms.h
|
|
include/Yap/eam.h
|
|
include/Yap/eamamasm.h
|
|
include/Yap/eval.h
|
|
include/Yap/heapgc.h
|
|
include/Yap/hglobals.h
|
|
include/Yap/hstruct.h
|
|
include/Yap/iatoms.h
|
|
include/Yap/iglobals.h
|
|
include/Yap/ihstruct.h
|
|
include/Yap/index.h
|
|
include/Yap/iopreds.h
|
|
include/Yap/iswiatoms.h
|
|
include/Yap/locks_alpha.h
|
|
include/Yap/locks_alpha_funcs.h
|
|
include/Yap/locks_mips.h
|
|
include/Yap/locks_mips_funcs.h
|
|
include/Yap/locks_pthread.h
|
|
include/Yap/locks_sparc.h
|
|
include/Yap/locks_x86.h
|
|
include/Yap/myddas.h
|
|
include/Yap/myddas_statistics.h
|
|
include/Yap/myddas_statistics_structs.h
|
|
include/Yap/myddas_structs.h
|
|
include/Yap/myddas_wkb.h
|
|
include/Yap/myddas_wkb2prolog.h
|
|
include/Yap/opt.config.h
|
|
include/Yap/opt.macros.h
|
|
include/Yap/opt.proto.h
|
|
include/Yap/opt.structs.h
|
|
include/Yap/or.macros.h
|
|
include/Yap/or.sbaamiops.h
|
|
include/Yap/or.sbaunify.h
|
|
include/Yap/parms.h
|
|
include/Yap/ratoms.h
|
|
include/Yap/rclause.h
|
|
include/Yap/rglobals.h
|
|
include/Yap/rheap.h
|
|
include/Yap/rhstruct.h
|
|
include/Yap/rtree_udi.h
|
|
include/Yap/sshift.h
|
|
include/Yap/swi.h
|
|
include/Yap/tab.structs.h
|
|
include/Yap/tatoms.h
|
|
include/Yap/threads.h
|
|
include/Yap/tracer.h
|
|
include/Yap/trim_trail.h
|
|
include/Yap/udi.h
|
|
include/Yap/yap_structs.h
|
|
include/Yap/yapio.h
|
|
lib/Yap/cgi.so
|
|
lib/Yap/crypt.so
|
|
lib/Yap/files.so
|
|
lib/Yap/http_stream.so
|
|
lib/Yap/itries.so
|
|
lib/Yap/json.so
|
|
lib/Yap/libplstream.so
|
|
lib/Yap/matrix.so
|
|
lib/Yap/memfile.so
|
|
lib/Yap/mime.so
|
|
lib/Yap/pl-minisat.so
|
|
lib/Yap/pl-tai.so
|
|
lib/Yap/process.so
|
|
lib/Yap/random.so
|
|
lib/Yap/rdf_db.so
|
|
lib/Yap/readutil.so
|
|
lib/Yap/regexp.so
|
|
lib/Yap/sgml2pl.so
|
|
lib/Yap/sha4pl.so
|
|
lib/Yap/socket.so
|
|
lib/Yap/startup.yss
|
|
lib/Yap/streaminfo.so
|
|
lib/Yap/sys.so
|
|
lib/Yap/time.so
|
|
lib/Yap/tries.so
|
|
lib/Yap/turtle.so
|
|
lib/Yap/unix.so
|
|
lib/Yap/uri.so
|
|
lib/Yap/yap_random.so
|
|
lib/Yap/yap_rl.so
|
|
lib/Yap/zlib4pl.so
|
|
lib/libYap.a
|
|
share/Yap/DTD/HTML4.dcl
|
|
share/Yap/DTD/HTML4.dtd
|
|
share/Yap/DTD/HTML4.soc
|
|
share/Yap/DTD/HTMLlat1.ent
|
|
share/Yap/DTD/HTMLspec.ent
|
|
share/Yap/DTD/HTMLsym.ent
|
|
share/Yap/INDEX.pl
|
|
share/Yap/aggregate.pl
|
|
share/Yap/apply.yap
|
|
share/Yap/apply_macros.yap
|
|
share/Yap/arg.yap
|
|
share/Yap/assoc.yap
|
|
share/Yap/atts.yap
|
|
share/Yap/autoloader.yap
|
|
share/Yap/avl.yap
|
|
share/Yap/base64.pl
|
|
share/Yap/bhash.yap
|
|
share/Yap/block_diagram.yap
|
|
share/Yap/broadcast.pl
|
|
share/Yap/c_alarms.yap
|
|
share/Yap/cgi.pl
|
|
share/Yap/charsio.yap
|
|
share/Yap/chr.pl
|
|
share/Yap/chr/README
|
|
share/Yap/chr/a_star.pl
|
|
share/Yap/chr/binomialheap.pl
|
|
share/Yap/chr/builtins.pl
|
|
share/Yap/chr/chr_compiler_errors.pl
|
|
share/Yap/chr/chr_compiler_options.pl
|
|
share/Yap/chr/chr_compiler_utility.pl
|
|
share/Yap/chr/chr_debug.pl
|
|
share/Yap/chr/chr_hashtable_store.pl
|
|
share/Yap/chr/chr_integertable_store.pl
|
|
share/Yap/chr/chr_messages.pl
|
|
share/Yap/chr/chr_op.pl
|
|
share/Yap/chr/chr_runtime.pl
|
|
share/Yap/chr/chr_translate.pl
|
|
share/Yap/chr/clean_code.pl
|
|
share/Yap/chr/find.pl
|
|
share/Yap/chr/guard_entailment.pl
|
|
share/Yap/chr/listmap.pl
|
|
share/Yap/chr/pairlist.pl
|
|
share/Yap/cleanup.yap
|
|
share/Yap/clp/clp_events.pl
|
|
share/Yap/clpbn.yap
|
|
share/Yap/clpbn/aggregates.yap
|
|
share/Yap/clpbn/bnt.yap
|
|
share/Yap/clpbn/bp.yap
|
|
share/Yap/clpbn/connected.yap
|
|
share/Yap/clpbn/discrete_utils.yap
|
|
share/Yap/clpbn/display.yap
|
|
share/Yap/clpbn/dists.yap
|
|
share/Yap/clpbn/evidence.yap
|
|
share/Yap/clpbn/examples/School/README
|
|
share/Yap/clpbn/examples/School/evidence_128.yap
|
|
share/Yap/clpbn/examples/School/schema.yap
|
|
share/Yap/clpbn/examples/School/school_128.yap
|
|
share/Yap/clpbn/examples/School/school_32.yap
|
|
share/Yap/clpbn/examples/School/school_64.yap
|
|
share/Yap/clpbn/examples/School/tables.yap
|
|
share/Yap/clpbn/examples/cg.yap
|
|
share/Yap/clpbn/examples/sprinkler.yap
|
|
share/Yap/clpbn/gibbs.yap
|
|
share/Yap/clpbn/graphs.yap
|
|
share/Yap/clpbn/graphviz.yap
|
|
share/Yap/clpbn/hmm.yap
|
|
share/Yap/clpbn/jt.yap
|
|
share/Yap/clpbn/learning/bnt_parms.yap
|
|
share/Yap/clpbn/learning/em.yap
|
|
share/Yap/clpbn/learning/learn_utils.yap
|
|
share/Yap/clpbn/learning/mle.yap
|
|
share/Yap/clpbn/matrix_cpt_utils.yap
|
|
share/Yap/clpbn/pgrammar.yap
|
|
share/Yap/clpbn/table.yap
|
|
share/Yap/clpbn/topsort.yap
|
|
share/Yap/clpbn/utils.yap
|
|
share/Yap/clpbn/vel.yap
|
|
share/Yap/clpbn/viterbi.yap
|
|
share/Yap/clpbn/xbif.yap
|
|
share/Yap/clpfd.pl
|
|
share/Yap/clpq.pl
|
|
share/Yap/clpq/bb_q.pl
|
|
share/Yap/clpq/bv_q.pl
|
|
share/Yap/clpq/fourmotz_q.pl
|
|
share/Yap/clpq/ineq_q.pl
|
|
share/Yap/clpq/itf_q.pl
|
|
share/Yap/clpq/nf_q.pl
|
|
share/Yap/clpq/store_q.pl
|
|
share/Yap/clpqr/README
|
|
share/Yap/clpqr/class.pl
|
|
share/Yap/clpqr/dump.pl
|
|
share/Yap/clpqr/geler.pl
|
|
share/Yap/clpqr/itf.pl
|
|
share/Yap/clpqr/ordering.pl
|
|
share/Yap/clpqr/project.pl
|
|
share/Yap/clpqr/redund.pl
|
|
share/Yap/clpr.pl
|
|
share/Yap/clpr/bb_r.pl
|
|
share/Yap/clpr/bv_r.pl
|
|
share/Yap/clpr/fourmotz_r.pl
|
|
share/Yap/clpr/ineq_r.pl
|
|
share/Yap/clpr/itf_r.pl
|
|
share/Yap/clpr/nf_r.pl
|
|
share/Yap/clpr/store_r.pl
|
|
share/Yap/cnf.pl
|
|
share/Yap/coinduction.yap
|
|
share/Yap/crypt.pl
|
|
share/Yap/ctypes.pl
|
|
share/Yap/date.pl
|
|
share/Yap/dbqueues.yap
|
|
share/Yap/dbusage.yap
|
|
share/Yap/debug.pl
|
|
share/Yap/dgraphs.yap
|
|
share/Yap/dialect/commons.yap
|
|
share/Yap/dialect/hprolog.yap
|
|
share/Yap/dialect/swi.yap
|
|
share/Yap/dialect/swi/INDEX.pl
|
|
share/Yap/dialect/swi/listing.pl
|
|
share/Yap/dialect/swi/readutil.pl
|
|
share/Yap/dtproblog.yap
|
|
share/Yap/error.pl
|
|
share/Yap/expand_macros.yap
|
|
share/Yap/filesex.pl
|
|
share/Yap/flags.yap
|
|
share/Yap/gensym.yap
|
|
share/Yap/hacks.yap
|
|
share/Yap/heaps.yap
|
|
share/Yap/http/README
|
|
share/Yap/http/dcg_basics.pl
|
|
share/Yap/http/html_head.pl
|
|
share/Yap/http/html_write.pl
|
|
share/Yap/http/http_authenticate.pl
|
|
share/Yap/http/http_client.pl
|
|
share/Yap/http/http_dirindex.pl
|
|
share/Yap/http/http_dispatch.pl
|
|
share/Yap/http/http_error.pl
|
|
share/Yap/http/http_exception.pl
|
|
share/Yap/http/http_header.pl
|
|
share/Yap/http/http_hook.pl
|
|
share/Yap/http/http_host.pl
|
|
share/Yap/http/http_json.pl
|
|
share/Yap/http/http_log.pl
|
|
share/Yap/http/http_mime_plugin.pl
|
|
share/Yap/http/http_open.pl
|
|
share/Yap/http/http_openid.pl
|
|
share/Yap/http/http_parameters.pl
|
|
share/Yap/http/http_path.pl
|
|
share/Yap/http/http_pwp.pl
|
|
share/Yap/http/http_server_files.pl
|
|
share/Yap/http/http_session.pl
|
|
share/Yap/http/http_sgml_plugin.pl
|
|
share/Yap/http/http_stream.pl
|
|
share/Yap/http/http_wrapper.pl
|
|
share/Yap/http/inetd_httpd.pl
|
|
share/Yap/http/js_write.pl
|
|
share/Yap/http/json.pl
|
|
share/Yap/http/json_convert.pl
|
|
share/Yap/http/mimepack.pl
|
|
share/Yap/http/mimetype.pl
|
|
share/Yap/http/thread_httpd.pl
|
|
share/Yap/http/web/css/dirindex.css
|
|
share/Yap/http/web/css/openid.css
|
|
share/Yap/http/web/icons/back.png
|
|
share/Yap/http/web/icons/c.png
|
|
share/Yap/http/web/icons/compressed.png
|
|
share/Yap/http/web/icons/folder.png
|
|
share/Yap/http/web/icons/generic.png
|
|
share/Yap/http/web/icons/layout.png
|
|
share/Yap/http/web/icons/openid-logo-square.png
|
|
share/Yap/http/web/icons/openid-logo-tiny.png
|
|
share/Yap/http/xpce_httpd.pl
|
|
share/Yap/icon_address.pl
|
|
share/Yap/iso_639.pl
|
|
share/Yap/itries.yap
|
|
share/Yap/lam_mpi.yap
|
|
share/Yap/lambda.pl
|
|
share/Yap/lineutils.yap
|
|
share/Yap/lists.yap
|
|
share/Yap/maplist.pl
|
|
share/Yap/maplist.yap
|
|
share/Yap/matlab.yap
|
|
share/Yap/matrix.yap
|
|
share/Yap/memfile.pl
|
|
share/Yap/mime.pl
|
|
share/Yap/minisat.pl
|
|
share/Yap/minisat_examples/adder.pl
|
|
share/Yap/minisat_examples/pearl_examples.pl
|
|
share/Yap/nb.yap
|
|
share/Yap/nb_set.pl
|
|
share/Yap/occurs.yap
|
|
share/Yap/operators.pl
|
|
share/Yap/option.pl
|
|
share/Yap/ordsets.yap
|
|
share/Yap/pairs.pl
|
|
share/Yap/pillow.pl
|
|
share/Yap/pl/arith.yap
|
|
share/Yap/pl/arrays.yap
|
|
share/Yap/pl/attributes.yap
|
|
share/Yap/pl/boot.yap
|
|
share/Yap/pl/callcount.yap
|
|
share/Yap/pl/checker.yap
|
|
share/Yap/pl/chtypes.yap
|
|
share/Yap/pl/consult.yap
|
|
share/Yap/pl/control.yap
|
|
share/Yap/pl/corout.yap
|
|
share/Yap/pl/debug.yap
|
|
share/Yap/pl/depth_bound.yap
|
|
share/Yap/pl/dialect.yap
|
|
share/Yap/pl/directives.yap
|
|
share/Yap/pl/eam.yap
|
|
share/Yap/pl/errors.yap
|
|
share/Yap/pl/eval.yap
|
|
share/Yap/pl/flags.yap
|
|
share/Yap/pl/grammar.yap
|
|
share/Yap/pl/ground.yap
|
|
share/Yap/pl/hacks.yap
|
|
share/Yap/pl/init.yap
|
|
share/Yap/pl/listing.yap
|
|
share/Yap/pl/lists.yap
|
|
share/Yap/pl/load_foreign.yap
|
|
share/Yap/pl/messages.yap
|
|
share/Yap/pl/modules.yap
|
|
share/Yap/pl/preds.yap
|
|
share/Yap/pl/profile.yap
|
|
share/Yap/pl/protect.yap
|
|
share/Yap/pl/save.yap
|
|
share/Yap/pl/setof.yap
|
|
share/Yap/pl/signals.yap
|
|
share/Yap/pl/sockets.yap
|
|
share/Yap/pl/sort.yap
|
|
share/Yap/pl/statistics.yap
|
|
share/Yap/pl/strict_iso.yap
|
|
share/Yap/pl/tabling.yap
|
|
share/Yap/pl/threads.yap
|
|
share/Yap/pl/udi.yap
|
|
share/Yap/pl/utils.yap
|
|
share/Yap/pl/yapor.yap
|
|
share/Yap/pl/yio.yap
|
|
share/Yap/pltotex.pl
|
|
share/Yap/plunit.pl
|
|
share/Yap/prandom.yap
|
|
share/Yap/problog.yap
|
|
share/Yap/problog/ad_converter.yap
|
|
share/Yap/problog/extlists.yap
|
|
share/Yap/problog/flags.yap
|
|
share/Yap/problog/gflags.yap
|
|
share/Yap/problog/hash_table.yap
|
|
share/Yap/problog/intervals.yap
|
|
share/Yap/problog/logger.yap
|
|
share/Yap/problog/mc_DNF_sampling.yap
|
|
share/Yap/problog/nestedtries.yap
|
|
share/Yap/problog/os.yap
|
|
share/Yap/problog/print.yap
|
|
share/Yap/problog/print_learning.yap
|
|
share/Yap/problog/ptree.yap
|
|
share/Yap/problog/sampling.yap
|
|
share/Yap/problog/tabling.yap
|
|
share/Yap/problog/termhandling.yap
|
|
share/Yap/problog/timer.yap
|
|
share/Yap/problog/utils.yap
|
|
share/Yap/problog/utils_learning.yap
|
|
share/Yap/problog/variable_elimination.yap
|
|
share/Yap/problog/variables.yap
|
|
share/Yap/problog/version_control.yap
|
|
share/Yap/problog_examples/graph.pl
|
|
share/Yap/problog_examples/graph_tabled.pl
|
|
share/Yap/problog_examples/learn_graph.pl
|
|
share/Yap/problog_examples/office.pl
|
|
share/Yap/problog_examples/viralmarketing.pl
|
|
share/Yap/problog_examples/viralmarketing_tabled.pl
|
|
share/Yap/problog_learning.yap
|
|
share/Yap/process.pl
|
|
share/Yap/prolog_server.pl
|
|
share/Yap/prolog_source.pl
|
|
share/Yap/prolog_xref.pl
|
|
share/Yap/pwp.pl
|
|
share/Yap/queues.yap
|
|
share/Yap/quintus.pl
|
|
share/Yap/r_session.yap
|
|
share/Yap/random.pl
|
|
share/Yap/random.yap
|
|
share/Yap/rbtrees.yap
|
|
share/Yap/rdf.pl
|
|
share/Yap/rdf_ntriples.pl
|
|
share/Yap/rdf_parser.pl
|
|
share/Yap/rdf_triple.pl
|
|
share/Yap/rdf_write.pl
|
|
share/Yap/readutil.yap
|
|
share/Yap/record.pl
|
|
share/Yap/regexp.yap
|
|
share/Yap/rewrite.pl
|
|
share/Yap/rltree.yap
|
|
share/Yap/semweb/README
|
|
share/Yap/semweb/dc.rdfs
|
|
share/Yap/semweb/eor.rdfs
|
|
share/Yap/semweb/owl.owl
|
|
share/Yap/semweb/rdf_cache.pl
|
|
share/Yap/semweb/rdf_compare.pl
|
|
share/Yap/semweb/rdf_db.pl
|
|
share/Yap/semweb/rdf_edit.pl
|
|
share/Yap/semweb/rdf_http_plugin.pl
|
|
share/Yap/semweb/rdf_library.pl
|
|
share/Yap/semweb/rdf_library.ttl
|
|
share/Yap/semweb/rdf_litindex.pl
|
|
share/Yap/semweb/rdf_persistency.pl
|
|
share/Yap/semweb/rdf_portray.pl
|
|
share/Yap/semweb/rdf_turtle.pl
|
|
share/Yap/semweb/rdf_turtle_write.pl
|
|
share/Yap/semweb/rdf_zlib_plugin.pl
|
|
share/Yap/semweb/rdfs.pl
|
|
share/Yap/semweb/rdfs.rdfs
|
|
share/Yap/semweb/sparql_client.pl
|
|
share/Yap/semweb/turtle_base.pl
|
|
share/Yap/settings.pl
|
|
share/Yap/sgml.pl
|
|
share/Yap/sgml_write.pl
|
|
share/Yap/sha.pl
|
|
share/Yap/shlib.pl
|
|
share/Yap/socket.pl
|
|
share/Yap/splay.yap
|
|
share/Yap/streaminfo.pl
|
|
share/Yap/stringutils.yap
|
|
share/Yap/system.yap
|
|
share/Yap/terms.yap
|
|
share/Yap/test_cover.pl
|
|
share/Yap/test_wizard.pl
|
|
share/Yap/time.pl
|
|
share/Yap/timeout.yap
|
|
share/Yap/trees.yap
|
|
share/Yap/tries.yap
|
|
share/Yap/ugraphs.yap
|
|
share/Yap/undgraphs.yap
|
|
share/Yap/unix.pl
|
|
share/Yap/uri.pl
|
|
share/Yap/url.pl
|
|
share/Yap/utf8.pl
|
|
share/Yap/varnumbers.yap
|
|
share/Yap/wdgraphs.yap
|
|
share/Yap/wgraphs.yap
|
|
share/Yap/wundgraphs.yap
|
|
share/Yap/xpath.pl
|
|
share/Yap/xsdp_types.pl
|
|
share/Yap/ypp.yap
|
|
share/Yap/zlib.pl
|
|
share/doc/Yap/Artistic
|
|
share/doc/Yap/COPYING
|
|
share/doc/Yap/README
|