yap-6.2.2-alt1_7.i586.rpm


Advertisement

Description

yap - High-performance Prolog Compiler

Distribution: ALT Linux Sisyphus
Repository: Autoimports i586
Package name: yap
Package version: 6.2.2
Package release: alt1_7
Package architecture: i586
Package type: rpm
Installed size: 8.68 MB
Download size: 8.68 MB
Official Mirror: ftp.altlinux.org
A high-performance Prolog compiler developed at LIACC, Universidade do Porto. The Prolog engine is based in the WAM (Warren Abstract Machine), with several optimizations for better performance. YAP follows the Edinburgh tradition, and is largely compatible with the ISO-Prolog standard and with Quintus and SICStus Prolog.

Alternatives

Provides

  • libYap.so.6.2.2
  • yap = 6.2.2-alt1_7

    Download

    Binary package: yap-6.2.2-alt1_7.i586.rpm
    Source package: yap-6.2.2-alt1_7.src.rpm

    Install Howto

    1. Add the following line to /etc/apt/sources.list:
      rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/autoimports/Sisyphus i586 autoimports
      rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/autoimports/Sisyphus noarch autoimports
      
    2. Update the package index:
      # sudo apt-get update
    3. Install yap rpm package:
      # sudo apt-get install yap

    Files

    • /usr/bin/yap
    • /usr/lib/libYap.so.6.2.2
    • /usr/lib/Yap/cgi.so
    • /usr/lib/Yap/crypt.so
    • /usr/lib/Yap/files.so
    • /usr/lib/Yap/http_stream.so
    • /usr/lib/Yap/itries.so
    • /usr/lib/Yap/json.so
    • /usr/lib/Yap/libplstream.so
    • /usr/lib/Yap/matrix.so
    • /usr/lib/Yap/memfile.so
    • /usr/lib/Yap/mime.so
    • /usr/lib/Yap/pl-minisat.so
    • /usr/lib/Yap/pl-tai.so
    • /usr/lib/Yap/process.so
    • /usr/lib/Yap/random.so
    • /usr/lib/Yap/rdf_db.so
    • /usr/lib/Yap/readutil.so
    • /usr/lib/Yap/regexp.so
    • /usr/lib/Yap/sgml2pl.so
    • /usr/lib/Yap/sha4pl.so
    • /usr/lib/Yap/socket.so
    • /usr/lib/Yap/startup.yss
    • /usr/lib/Yap/streaminfo.so
    • /usr/lib/Yap/sys.so
    • /usr/lib/Yap/time.so
    • /usr/lib/Yap/tries.so
    • /usr/lib/Yap/turtle.so
    • /usr/lib/Yap/unix.so
    • /usr/lib/Yap/uri.so
    • /usr/lib/Yap/yap_random.so
    • /usr/lib/Yap/yap_rl.so
    • /usr/lib/Yap/zlib4pl.so
    • /usr/share/Yap/INDEX.pl
    • /usr/share/Yap/aggregate.pl
    • /usr/share/Yap/apply.yap
    • /usr/share/Yap/apply_macros.yap
    • /usr/share/Yap/aproblog.yap
    • /usr/share/Yap/arg.yap
    • /usr/share/Yap/assoc.yap
    • /usr/share/Yap/atts.yap
    • /usr/share/Yap/autoloader.yap
    • /usr/share/Yap/avl.yap
    • /usr/share/Yap/base64.pl
    • /usr/share/Yap/bhash.yap
    • /usr/share/Yap/block_diagram.yap
    • /usr/share/Yap/broadcast.pl
    • /usr/share/Yap/c_alarms.yap
    • /usr/share/Yap/cgi.pl
    • /usr/share/Yap/charsio.yap
    • /usr/share/Yap/chr.pl
    • /usr/share/Yap/cleanup.yap
    • /usr/share/Yap/clpbn.yap
    • /usr/share/Yap/clpfd.pl
    • /usr/share/Yap/clpq.pl
    • /usr/share/Yap/clpr.pl
    • /usr/share/Yap/cnf.pl
    • /usr/share/Yap/coinduction.yap
    • /usr/share/Yap/crypt.pl
    • /usr/share/Yap/ctypes.pl
    • /usr/share/Yap/date.pl
    • /usr/share/Yap/dbqueues.yap
    • /usr/share/Yap/dbusage.yap
    • /usr/share/Yap/debug.pl
    • /usr/share/Yap/dgraphs.yap
    • /usr/share/Yap/dtproblog.yap
    • /usr/share/Yap/error.pl
    • /usr/share/Yap/expand_macros.yap
    • /usr/share/Yap/filesex.pl
    • /usr/share/Yap/flags.yap
    • /usr/share/Yap/gensym.yap
    • /usr/share/Yap/hacks.yap
    • /usr/share/Yap/heaps.yap
    • /usr/share/Yap/icon_address.pl
    • /usr/share/Yap/iso_639.pl
    • /usr/share/Yap/itries.yap
    • /usr/share/Yap/lam_mpi.yap
    • /usr/share/Yap/lambda.pl
    • /usr/share/Yap/lineutils.yap
    • /usr/share/Yap/lists.yap
    • /usr/share/Yap/maplist.pl
    • /usr/share/Yap/maplist.yap
    • /usr/share/Yap/matlab.yap
    • /usr/share/Yap/matrix.yap
    • /usr/share/Yap/memfile.pl
    • /usr/share/Yap/mime.pl
    • /usr/share/Yap/minisat.pl
    • /usr/share/Yap/myddas.yap
    • /usr/share/Yap/myddas_assert_predicates.yap
    • /usr/share/Yap/myddas_errors.yap
    • /usr/share/Yap/myddas_mysql.yap
    • /usr/share/Yap/myddas_prolog2sql.yap
    • /usr/share/Yap/myddas_prolog2sql_optimizer.yap
    • /usr/share/Yap/myddas_util_predicates.yap
    • /usr/share/Yap/nb.yap
    • /usr/share/Yap/nb_set.pl
    • /usr/share/Yap/occurs.yap
    • /usr/share/Yap/operators.pl
    • /usr/share/Yap/option.pl
    • /usr/share/Yap/ordsets.yap
    • /usr/share/Yap/pairs.pl
    • /usr/share/Yap/pillow.pl
    • /usr/share/Yap/pltotex.pl
    • /usr/share/Yap/plunit.pl
    • /usr/share/Yap/prandom.yap
    • /usr/share/Yap/problog.yap
    • /usr/share/Yap/problog_learning.yap
    • /usr/share/Yap/problog_lfi.yap
    • /usr/share/Yap/process.pl
    • /usr/share/Yap/prolog_server.pl
    • /usr/share/Yap/prolog_source.pl
    • /usr/share/Yap/prolog_xref.pl
    • /usr/share/Yap/pwp.pl
    • /usr/share/Yap/queues.yap
    • /usr/share/Yap/quintus.pl
    • /usr/share/Yap/r_session.yap
    • /usr/share/Yap/random.pl
    • /usr/share/Yap/random.yap
    • /usr/share/Yap/rbtrees.yap
    • /usr/share/Yap/rdf.pl
    • /usr/share/Yap/rdf_ntriples.pl
    • /usr/share/Yap/rdf_parser.pl
    • /usr/share/Yap/rdf_triple.pl
    • /usr/share/Yap/rdf_write.pl
    • /usr/share/Yap/readutil.yap
    • /usr/share/Yap/record.pl
    • /usr/share/Yap/regexp.yap
    • /usr/share/Yap/rewrite.pl
    • /usr/share/Yap/rltree.yap
    • /usr/share/Yap/settings.pl
    • /usr/share/Yap/sgml.pl
    • /usr/share/Yap/sgml_write.pl
    • /usr/share/Yap/sha.pl
    • /usr/share/Yap/shlib.pl
    • /usr/share/Yap/socket.pl
    • /usr/share/Yap/splay.yap
    • /usr/share/Yap/streaminfo.pl
    • /usr/share/Yap/stringutils.yap
    • /usr/share/Yap/system.yap
    • /usr/share/Yap/terms.yap
    • /usr/share/Yap/test_cover.pl
    • /usr/share/Yap/test_wizard.pl
    • /usr/share/Yap/time.pl
    • /usr/share/Yap/timeout.yap
    • /usr/share/Yap/trees.yap
    • /usr/share/Yap/tries.yap
    • /usr/share/Yap/ugraphs.yap
    • /usr/share/Yap/undgraphs.yap
    • /usr/share/Yap/unix.pl
    • /usr/share/Yap/uri.pl
    • /usr/share/Yap/url.pl
    • /usr/share/Yap/utf8.pl
    • /usr/share/Yap/varnumbers.yap
    • /usr/share/Yap/wdgraphs.yap
    • /usr/share/Yap/wgraphs.yap
    • /usr/share/Yap/wundgraphs.yap
    • /usr/share/Yap/xpath.pl
    • /usr/share/Yap/xsdp_types.pl
    • /usr/share/Yap/ypp.yap
    • /usr/share/Yap/zlib.pl
    • /usr/share/Yap/DTD/HTML4.dcl
    • /usr/share/Yap/DTD/HTML4.dtd
    • /usr/share/Yap/DTD/HTML4.soc
    • /usr/share/Yap/DTD/HTMLlat1.ent
    • /usr/share/Yap/DTD/HTMLspec.ent
    • /usr/share/Yap/DTD/HTMLsym.ent
    • /usr/share/Yap/chr/README
    • /usr/share/Yap/chr/a_star.pl
    • /usr/share/Yap/chr/binomialheap.pl
    • /usr/share/Yap/chr/builtins.pl
    • /usr/share/Yap/chr/chr_compiler_errors.pl
    • /usr/share/Yap/chr/chr_compiler_options.pl
    • /usr/share/Yap/chr/chr_compiler_utility.pl
    • /usr/share/Yap/chr/chr_debug.pl
    • /usr/share/Yap/chr/chr_hashtable_store.pl
    • /usr/share/Yap/chr/chr_integertable_store.pl
    • /usr/share/Yap/chr/chr_messages.pl
    • /usr/share/Yap/chr/chr_op.pl
    • /usr/share/Yap/chr/chr_runtime.pl
    • /usr/share/Yap/chr/chr_translate.pl
    • /usr/share/Yap/chr/clean_code.pl
    • /usr/share/Yap/chr/find.pl
    • /usr/share/Yap/chr/guard_entailment.pl
    • /usr/share/Yap/chr/listmap.pl
    • /usr/share/Yap/chr/pairlist.pl
    • /usr/share/Yap/clp/clp_events.pl
    • /usr/share/Yap/clpbn/aggregates.yap
    • /usr/share/Yap/clpbn/bnt.yap
    • /usr/share/Yap/clpbn/bp.yap
    • /usr/share/Yap/clpbn/connected.yap
    • /usr/share/Yap/clpbn/discrete_utils.yap
    • /usr/share/Yap/clpbn/display.yap
    • /usr/share/Yap/clpbn/dists.yap
    • /usr/share/Yap/clpbn/evidence.yap
    • /usr/share/Yap/clpbn/gibbs.yap
    • /usr/share/Yap/clpbn/graphs.yap
    • /usr/share/Yap/clpbn/graphviz.yap
    • /usr/share/Yap/clpbn/hmm.yap
    • /usr/share/Yap/clpbn/jt.yap
    • /usr/share/Yap/clpbn/matrix_cpt_utils.yap
    • /usr/share/Yap/clpbn/pgrammar.yap
    • /usr/share/Yap/clpbn/table.yap
    • /usr/share/Yap/clpbn/topsort.yap
    • /usr/share/Yap/clpbn/utils.yap
    • /usr/share/Yap/clpbn/vel.yap
    • /usr/share/Yap/clpbn/viterbi.yap
    • /usr/share/Yap/clpbn/xbif.yap
    • /usr/share/Yap/clpbn/learning/bnt_parms.yap
    • /usr/share/Yap/clpbn/learning/em.yap
    • /usr/share/Yap/clpbn/learning/learn_utils.yap
    • /usr/share/Yap/clpbn/learning/mle.yap
    • /usr/share/Yap/clpq/bb_q.pl
    • /usr/share/Yap/clpq/bv_q.pl
    • /usr/share/Yap/clpq/fourmotz_q.pl
    • /usr/share/Yap/clpq/ineq_q.pl
    • /usr/share/Yap/clpq/itf_q.pl
    • /usr/share/Yap/clpq/nf_q.pl
    • /usr/share/Yap/clpq/store_q.pl
    • /usr/share/Yap/clpqr/README
    • /usr/share/Yap/clpqr/class.pl
    • /usr/share/Yap/clpqr/dump.pl
    • /usr/share/Yap/clpqr/geler.pl
    • /usr/share/Yap/clpqr/itf.pl
    • /usr/share/Yap/clpqr/ordering.pl
    • /usr/share/Yap/clpqr/project.pl
    • /usr/share/Yap/clpqr/redund.pl
    • /usr/share/Yap/clpr/bb_r.pl
    • /usr/share/Yap/clpr/bv_r.pl
    • /usr/share/Yap/clpr/fourmotz_r.pl
    • /usr/share/Yap/clpr/ineq_r.pl
    • /usr/share/Yap/clpr/itf_r.pl
    • /usr/share/Yap/clpr/nf_r.pl
    • /usr/share/Yap/clpr/store_r.pl
    • /usr/share/Yap/dialect/commons.yap
    • /usr/share/Yap/dialect/hprolog.yap
    • /usr/share/Yap/dialect/swi.yap
    • /usr/share/Yap/dialect/swi/INDEX.pl
    • /usr/share/Yap/dialect/swi/listing.pl
    • /usr/share/Yap/dialect/swi/readutil.pl
    • /usr/share/Yap/http/README
    • /usr/share/Yap/http/dcg_basics.pl
    • /usr/share/Yap/http/html_head.pl
    • /usr/share/Yap/http/html_write.pl
    • /usr/share/Yap/http/http_authenticate.pl
    • /usr/share/Yap/http/http_client.pl
    • /usr/share/Yap/http/http_dirindex.pl
    • /usr/share/Yap/http/http_dispatch.pl
    • /usr/share/Yap/http/http_error.pl
    • /usr/share/Yap/http/http_exception.pl
    • /usr/share/Yap/http/http_header.pl
    • /usr/share/Yap/http/http_hook.pl
    • /usr/share/Yap/http/http_host.pl
    • /usr/share/Yap/http/http_json.pl
    • /usr/share/Yap/http/http_log.pl
    • /usr/share/Yap/http/http_mime_plugin.pl
    • /usr/share/Yap/http/http_open.pl
    • /usr/share/Yap/http/http_openid.pl
    • /usr/share/Yap/http/http_parameters.pl
    • /usr/share/Yap/http/http_path.pl
    • /usr/share/Yap/http/http_pwp.pl
    • /usr/share/Yap/http/http_server_files.pl
    • /usr/share/Yap/http/http_session.pl
    • /usr/share/Yap/http/http_sgml_plugin.pl
    • /usr/share/Yap/http/http_stream.pl
    • /usr/share/Yap/http/http_wrapper.pl
    • /usr/share/Yap/http/inetd_httpd.pl
    • /usr/share/Yap/http/js_write.pl
    • /usr/share/Yap/http/json.pl
    • /usr/share/Yap/http/json_convert.pl
    • /usr/share/Yap/http/mimepack.pl
    • /usr/share/Yap/http/mimetype.pl
    • /usr/share/Yap/http/thread_httpd.pl
    • /usr/share/Yap/http/xpce_httpd.pl
    • /usr/share/Yap/http/web/
    • /usr/share/Yap/http/web/css/dirindex.css
    • /usr/share/Yap/http/web/css/openid.css
    • /usr/share/Yap/http/web/icons/back.png
    • /usr/share/Yap/http/web/icons/c.png
    • /usr/share/Yap/http/web/icons/compressed.png
    • /usr/share/Yap/http/web/icons/folder.png
    • /usr/share/Yap/http/web/icons/generic.png
    • /usr/share/Yap/http/web/icons/layout.png
    • /usr/share/Yap/http/web/icons/openid-logo-square.png
    • /usr/share/Yap/http/web/icons/openid-logo-tiny.png
    • /usr/share/Yap/pl/arith.yap
    • /usr/share/Yap/pl/arrays.yap
    • /usr/share/Yap/pl/attributes.yap
    • /usr/share/Yap/pl/boot.yap
    • /usr/share/Yap/pl/callcount.yap
    • /usr/share/Yap/pl/checker.yap
    • /usr/share/Yap/pl/chtypes.yap
    • /usr/share/Yap/pl/consult.yap
    • /usr/share/Yap/pl/control.yap
    • /usr/share/Yap/pl/corout.yap
    • /usr/share/Yap/pl/debug.yap
    • /usr/share/Yap/pl/depth_bound.yap
    • /usr/share/Yap/pl/dialect.yap
    • /usr/share/Yap/pl/directives.yap
    • /usr/share/Yap/pl/eam.yap
    • /usr/share/Yap/pl/errors.yap
    • /usr/share/Yap/pl/eval.yap
    • /usr/share/Yap/pl/flags.yap
    • /usr/share/Yap/pl/grammar.yap
    • /usr/share/Yap/pl/ground.yap
    • /usr/share/Yap/pl/hacks.yap
    • /usr/share/Yap/pl/init.yap
    • /usr/share/Yap/pl/listing.yap
    • /usr/share/Yap/pl/lists.yap
    • /usr/share/Yap/pl/load_foreign.yap
    • /usr/share/Yap/pl/messages.yap
    • /usr/share/Yap/pl/modules.yap
    • /usr/share/Yap/pl/preds.yap
    • /usr/share/Yap/pl/profile.yap
    • /usr/share/Yap/pl/protect.yap
    • /usr/share/Yap/pl/save.yap
    • /usr/share/Yap/pl/setof.yap
    • /usr/share/Yap/pl/signals.yap
    • /usr/share/Yap/pl/sockets.yap
    • /usr/share/Yap/pl/sort.yap
    • /usr/share/Yap/pl/statistics.yap
    • /usr/share/Yap/pl/strict_iso.yap
    • /usr/share/Yap/pl/tabling.yap
    • /usr/share/Yap/pl/threads.yap
    • /usr/share/Yap/pl/udi.yap
    • /usr/share/Yap/pl/utils.yap
    • /usr/share/Yap/pl/yapor.yap
    • /usr/share/Yap/pl/yio.yap
    • /usr/share/Yap/problog/ad_converter.yap
    • /usr/share/Yap/problog/bdd.yap
    • /usr/share/Yap/problog/completion.yap
    • /usr/share/Yap/problog/discrete.yap
    • /usr/share/Yap/problog/extlists.yap
    • /usr/share/Yap/problog/flags.yap
    • /usr/share/Yap/problog/gflags.yap
    • /usr/share/Yap/problog/hash_table.yap
    • /usr/share/Yap/problog/intervals.yap
    • /usr/share/Yap/problog/logger.yap
    • /usr/share/Yap/problog/mc_DNF_sampling.yap
    • /usr/share/Yap/problog/nestedtries.yap
    • /usr/share/Yap/problog/os.yap
    • /usr/share/Yap/problog/print.yap
    • /usr/share/Yap/problog/print_learning.yap
    • /usr/share/Yap/problog/ptree.yap
    • /usr/share/Yap/problog/sampling.yap
    • /usr/share/Yap/problog/tabling.yap
    • /usr/share/Yap/problog/termhandling.yap
    • /usr/share/Yap/problog/timer.yap
    • /usr/share/Yap/problog/utils.yap
    • /usr/share/Yap/problog/utils_learning.yap
    • /usr/share/Yap/problog/variable_elimination.yap
    • /usr/share/Yap/problog/variables.yap
    • /usr/share/Yap/problog/version_control.yap
    • /usr/share/Yap/semweb/README
    • /usr/share/Yap/semweb/dc.rdfs
    • /usr/share/Yap/semweb/eor.rdfs
    • /usr/share/Yap/semweb/owl.owl
    • /usr/share/Yap/semweb/rdf_cache.pl
    • /usr/share/Yap/semweb/rdf_compare.pl
    • /usr/share/Yap/semweb/rdf_db.pl
    • /usr/share/Yap/semweb/rdf_edit.pl
    • /usr/share/Yap/semweb/rdf_http_plugin.pl
    • /usr/share/Yap/semweb/rdf_library.pl
    • /usr/share/Yap/semweb/rdf_library.ttl
    • /usr/share/Yap/semweb/rdf_litindex.pl
    • /usr/share/Yap/semweb/rdf_persistency.pl
    • /usr/share/Yap/semweb/rdf_portray.pl
    • /usr/share/Yap/semweb/rdf_turtle.pl
    • /usr/share/Yap/semweb/rdf_turtle_write.pl
    • /usr/share/Yap/semweb/rdf_zlib_plugin.pl
    • /usr/share/Yap/semweb/rdfs.pl
    • /usr/share/Yap/semweb/rdfs.rdfs
    • /usr/share/Yap/semweb/sparql_client.pl
    • /usr/share/Yap/semweb/turtle_base.pl
    • /usr/share/doc/yap-6.2.2/Artistic
    • /usr/share/doc/yap-6.2.2/COPYING
    • /usr/share/doc/yap-6.2.2/GIT
    • /usr/share/doc/yap-6.2.2/README
    • /usr/share/doc/yap-6.2.2/TO_DO
    • /usr/share/doc/yap-6.2.2/changes-5.0.html
    • /usr/share/doc/yap-6.2.2/changes-5.1.html
    • /usr/share/doc/yap-6.2.2/changes-6.0.html
    • /usr/share/doc/yap-6.2.2/changes.css
    • /usr/share/doc/yap-6.2.2/changes4.3.html
    • /usr/share/info/pillow_doc.info.bz2
    • /usr/share/info/yap.info-1.bz2
    • /usr/share/info/yap.info-2.bz2
    • /usr/share/info/yap.info-3.bz2
    • /usr/share/info/yap.info.gz
    Advertisement
    Advertisement