yap_5.1.3-6_amd64.deb


Advertisement

Description

yap - High-performance Prolog System

Property Value
Distribution Debian 7 (Wheezy)
Repository Debian Main amd64
Package name yap
Package version 5.1.3
Package release 6
Package architecture amd64
Package type deb
Installed size 10.51 KB
Download size 2.47 MB
Official Mirror ftp.br.debian.org
High-performance Prolog compiler developed at LIACC/Universidade
do Porto and at COPPE Sistemas/UFRJ. The YAP Prolog engine is based in the
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.
YAP features a constraint solver over real numbers, and support for
constraint handling rules (CHR).

Alternatives

Package Version Architecture Repository
yap_5.1.3-6_i386.deb 5.1.3 i386 Debian Main
yap - - -

Requires

Name Value
dpkg >= 1.15.4
install-info -
libc6 >= 2.7
libncurses5 >= 5.5-5~
libreadline6 >= 6.0
libtinfo5 -

Download

Type URL
Binary Package yap_5.1.3-6_amd64.deb
Source Package yap

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install yap deb package:
    # sudo apt-get install yap

Files

Path
/usr/bin/yap
/usr/include/Yap/SWI-Prolog.h
/usr/include/Yap/SWI-Stream.h
/usr/include/Yap/YapInterface.h
/usr/include/Yap/c_interface.h
/usr/include/Yap/yap_structs.h
/usr/lib/libYap.a
/usr/lib/Yap/itries.so
/usr/lib/Yap/matrix.so
/usr/lib/Yap/random.so
/usr/lib/Yap/regcomp.so
/usr/lib/Yap/regerror.so
/usr/lib/Yap/regexec.so
/usr/lib/Yap/regexp.so
/usr/lib/Yap/regfree.so
/usr/lib/Yap/startup
/usr/lib/Yap/sys.so
/usr/lib/Yap/tries.so
/usr/lib/Yap/yap_rl.so
/usr/share/Yap/aggregate.pl
/usr/share/Yap/apply.pl
/usr/share/Yap/apply.yap
/usr/share/Yap/apply_macros.yap
/usr/share/Yap/arg.yap
/usr/share/Yap/assoc.yap
/usr/share/Yap/atts.yap
/usr/share/Yap/avl.yap
/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/dbqueues.yap
/usr/share/Yap/debug.pl
/usr/share/Yap/dgraphs.yap
/usr/share/Yap/error.pl
/usr/share/Yap/gensym.yap
/usr/share/Yap/hacks.yap
/usr/share/Yap/heaps.yap
/usr/share/Yap/icon_address.pl
/usr/share/Yap/itries.yap
/usr/share/Yap/lam_mpi.yap
/usr/share/Yap/lineutils.yap
/usr/share/Yap/listing.yap
/usr/share/Yap/lists.yap
/usr/share/Yap/maplist.pl
/usr/share/Yap/matlab.yap
/usr/share/Yap/matrix.yap
/usr/share/Yap/nb.yap
/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/prandom.yap
/usr/share/Yap/prolog_source.pl
/usr/share/Yap/prolog_xref.pl
/usr/share/Yap/queues.yap
/usr/share/Yap/random.yap
/usr/share/Yap/rbtrees.yap
/usr/share/Yap/readutil.yap
/usr/share/Yap/regexp.yap
/usr/share/Yap/rltree.yap
/usr/share/Yap/splay.yap
/usr/share/Yap/stringutils.yap
/usr/share/Yap/swi.yap
/usr/share/Yap/system.yap
/usr/share/Yap/terms.yap
/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/varnumbers.yap
/usr/share/Yap/wdgraphs.yap
/usr/share/Yap/wgraphs.yap
/usr/share/Yap/wundgraphs.yap
/usr/share/Yap/ypp.yap
/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/hprolog.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/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/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/examples/cg.yap
/usr/share/Yap/clpbn/examples/sprinkler.yap
/usr/share/Yap/clpbn/examples/School/README
/usr/share/Yap/clpbn/examples/School/evidence_128.yap
/usr/share/Yap/clpbn/examples/School/schema.yap
/usr/share/Yap/clpbn/examples/School/school_128.yap
/usr/share/Yap/clpbn/examples/School/school_32.yap
/usr/share/Yap/clpbn/examples/School/school_64.yap
/usr/share/Yap/clpbn/examples/School/tables.yap
/usr/share/Yap/clpbn/learning/bnt_parms.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/pl/arith.yap
/usr/share/Yap/pl/arrays.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/corout.yap
/usr/share/Yap/pl/debug.yap
/usr/share/Yap/pl/depth_bound.yap
/usr/share/Yap/pl/directives.yap
/usr/share/Yap/pl/eam.yap
/usr/share/Yap/pl/errors.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/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/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/utils.yap
/usr/share/Yap/pl/yapor.yap
/usr/share/Yap/pl/yio.yap
/usr/share/Yap/swi/apply_macros.pl
/usr/share/doc-base/pillow
/usr/share/doc-base/yap
/usr/share/doc/yap/README.gz
/usr/share/doc/yap/changelog.Debian.gz
/usr/share/doc/yap/changelog.gz
/usr/share/doc/yap/changelog.html.gz
/usr/share/doc/yap/changes-5.0.html
/usr/share/doc/yap/changes-5.1.html
/usr/share/doc/yap/changes.css
/usr/share/doc/yap/changes4.3.html
/usr/share/doc/yap/copyright
/usr/share/doc/yap/yap.html
/usr/share/doc/yap/pillow.html/pillow_doc.css
/usr/share/doc/yap/pillow.html/pillow_doc.html
/usr/share/doc/yap/pillow.html/pillow_doc_1.html
/usr/share/doc/yap/pillow.html/pillow_doc_2.html
/usr/share/doc/yap/pillow.html/pillow_doc_3.html
/usr/share/doc/yap/pillow.html/pillow_doc_4.html
/usr/share/doc/yap/pillow.html/pillow_doc_5.html
/usr/share/doc/yap/pillow.html/pillow_doc_6.html
/usr/share/doc/yap/pillow.html/pillow_doc_7.html
/usr/share/doc/yap/pillow.html/pillow_doc_8.html
/usr/share/doc/yap/pillow.html/pillow_doc_9.html
/usr/share/doc/yap/pillow.html/pillow_doc_toc.html
/usr/share/info/pillow_doc.info.gz
/usr/share/info/yap.info-1.gz
/usr/share/info/yap.info-2.gz
/usr/share/info/yap.info-3.gz
/usr/share/info/yap.info.gz
/usr/share/man/man1/yap.1.gz

See Also

Package Description
yapet_0.8~pre2-2_amd64.deb Yet Another Password Encryption Tool
yapps2-runtime_2.1.1-17.2_all.deb Yet Another Python Parser System
yapps2_2.1.1-17.2_all.deb Yet Another Python Parser System
yapra_0.1.2-7_all.deb Yet Another Pragger implementation
yard_0.8.2.1-2_all.deb Ruby documentation tool
yardradius_1.1.2-4_amd64.deb YARD Radius Authorization and Accounting Server
yaret_2.1.0-5_all.deb A console tool to turn CDs into encoded music
yarssr_0.2.2-8_all.deb RSS reader for the notification area
yasat_526-1_all.deb simple stupid audit tool
yash_2.30-2_amd64.deb yet another shell
yaskkserv_0.5.2-3_amd64.deb small and fast SKK dictionary server intended for embedded use
yasm_1.1.0-1_amd64.deb modular assembler with multiple syntaxes support
yasnippet_0.6.1c-1_amd64.deb A template system for Emacs
yasr_0.6.9-3_amd64.deb General-purpose console screen reader
yate-alsa_4.1.0-1~dfsg-3_amd64.deb ALSA module for YATE
Advertisement
Advertisement