 |
YAP 7.1.0
|
|
YAP 7.1.0
|
| ► C | |
| absmi.c | We next discuss several issues on trying to make Prolog programs run fast in YAP |
| absmi_insts.h | |
| adtdefs.c | |
| agc.c | |
| alloc.c | |
| amasm.c | |
| analyst.c | |
| args.c | @aingroup PredicateArgsC How to access a list of arguments from C |
| arith0.c | |
| arith1.c | |
| arith2.c | |
| arrays.c | |
| atomic.c | This file includes the definition of a miscellania of standard operations for yap refering to sequences of characters conversions |
| attvar.c | |
| bb.c | |
| bignum.c | |
| blobs.c | |
| c_interface.c | |
| cdmgr.c | |
| clause_list.c | |
| cmppreds.c | |
| compiler.c | |
| computils.c | |
| consult.c | |
| control_absmi_insts.h | |
| copy.c | Support for backtrable and non-backtrackable variables in Prolog |
| corout.c | |
| cp_absmi_insts.h | |
| cut_c.c | |
| dbase.c | |
| dbload.c | |
| debug.c | |
| depth_bound.c | |
| dlmalloc.c | |
| e.c | |
| errors.c | Low-level error handling |
| eval.c | |
| exec.c | |
| exo.c | |
| exo_udi.c | |
| fail_absmi_insts.h | |
| flags.c | Prolog parameter browsing and setting, |
| fli_absmi_insts.h | |
| globals.c | Support for backtrable and non-backtrackable variables in Prolog |
| gmp_support.c | |
| gprof.c | |
| grow.c | |
| heapgc.c | |
| index.c | |
| index_absmi_insts.h | |
| init.c | |
| inlines.c | |
| load_aix.c | |
| load_aout.c | |
| load_coff.c | |
| load_dl.c | |
| load_dld.c | |
| load_dll.c | |
| load_dyld.c | |
| load_foreign.c | |
| load_none.c | |
| load_shl.c | |
| lu_absmi_insts.h | |
| mavar.c | |
| meta_absmi_insts.h | |
| modules.c | |
| or_absmi_insts.h | |
| other.c | |
| parser.c | |
| prim_absmi_insts.h | |
| qlyr.c | |
| qlyw.c | |
| range.c | |
| realpath.c | |
| save.c | |
| scanner.c | |
| signals.c | |
| sort.c | |
| stack.c | Get to know what is in your stack |
| stackinfo.c | |
| stdpreds.c | |
| term_visit.h | Start of top macro |
| terms.c | Applications of the tree walker pattern |
| text.c | Support routines for text processing |
| threads.c | |
| tracer.c | |
| type_absmi_insts.h | |
| udi.c | |
| unify.c | |
| unify_absmi_insts.h | |
| userpreds.c | |
| utilpreds.c | |
| write.c | |
| yap-args.c | |
| ► CXX | |
| cxx4yap.hh | |
| heap.cxx | |
| yapa.hh | C++ Interface to atoms and their properties |
| yapdb.hh | C++ Interface to generated code |
| yapi.cpp | |
| yapi.hh | Entry file for the YAP C++ interface |
| yapie.hh | |
| yapq.hh | |
| yapt.hh | |
| ► H | |
| ► generated | |
| dglobals.h | |
| dhstruct.h | |
| h0globals.h | |
| h0struct.h | |
| hglobals.h | |
| hlocals.h | |
| hstruct.h | |
| i0globals.h | |
| iatoms.h | |
| iglobals.h | |
| ihstruct.h | |
| ilocals.h | |
| ratoms.h | |
| rglobals.h | |
| rhstruct.h | |
| rlocals.h | |
| tatoms.h | |
| absmi.h | |
| absmi_insts.h | |
| alloc.h | |
| amidefs.h | |
| amijit.h | |
| amiops.h | |
| arith2.h | |
| arrays.h | |
| Atoms.h | |
| attvar.h | |
| clause.h | |
| corout.h | |
| cp_absmi_insts.h | |
| cut_c.h | |
| dlmalloc.h | |
| fields.h | |
| findclause.h | |
| Foreign.h | load_foreign_files/3 has works for the following configurations: |
| globals.h | |
| gprof.h | |
| headclause.h | |
| heap.h | |
| heapgc.h | |
| index.h | |
| inline-only.h | |
| iswiatoms.h | |
| locals.h | |
| nolocks.h | |
| qly.h | |
| rclause.h | |
| Regs.h | |
| rheap.h | |
| saveclause.h | |
| ScannerTypes.h | |
| sig.h | |
| sshift.h | |
| Tags_24bits.h | |
| Tags_32bits.h | |
| Tags_32LowTag.h | |
| Tags_32Ops.h | |
| Tags_64bits.h | |
| TermExt.h | |
| terms.h | |
| threads.h | |
| tracer.h | |
| trim_trail.h | |
| udi_private.h | |
| utarray.h | |
| uthash.h | |
| walkclause.h | |
| Yap.h | Main definitions |
| YapAppliedOpcodes.h | |
| YapArenas.h | |
| YapCompile.h | |
| YapCompoundTerm.h | |
| YapEval.h | |
| YapFlags.h | |
| YapGFlagInfo.h | Global flags and their default values |
| YapHandles.h | |
| YapHeap.h | |
| YapLFlagInfo.h | |
| YapOpcodes.h | |
| Yapproto.h | |
| YapSignals.h | |
| YapTags.h | |
| YapText.h | |
| Yatom.h | |
| yerror.h | |
| ► include | |
| c_interface.h | |
| clause_list.h | |
| cudd_config.h | |
| cuddSupport.h | |
| dswiatoms.h | |
| GitSHA1.h | |
| pl-types.h | |
| SWI-Prolog.h | |
| udi.h | |
| VFS.h | |
| YapBlobs.h | |
| YapDefs.h | |
| YapEncoding.h | |
| YapError.h | |
| YapErrors.h | |
| YapFormat.h | |
| YapInit.h | |
| YapInterface.h | |
| YapRegs.h | |
| YapStreams.h | |
| YapTerm.h | |
| YapUTF8.h | UTF-8 codepoint translation and processing |
| ► library | |
| ► examples | |
| mapargs.yap | |
| mat.yap | |
| ► lammpi | |
| ► examples | |
| atoms.yap | |
| bcast.yap | |
| hello.yap | |
| italk.yap | |
| talk.yap | |
| yap_mpi.c | |
| hash.c | |
| hash.h | |
| prologterms2c.c | |
| prologterms2c.h | |
| yap_mpi.c | |
| ► matlab | |
| bnt_example.yap | |
| matlab.c | |
| ► matrix | |
| matrix.c | |
| newm.c | |
| ► mpi | |
| ► examples | |
| demo1.pl | |
| demo1_mpe.pl | |
| demo2.pl | |
| mpe.c | |
| mpe.yap | |
| mpi.c | |
| mpi.yap | |
| ► random | |
| yap_random.c | |
| ► regex | |
| cclass.h | Regexp character classes |
| cname.h | Vharacter names |
| collate.h | |
| engine.c | Regex interpeter |
| regcomp.c | Regular expression compiler |
| regerror.c | Error handling |
| regex2.h | |
| regexec.c | |
| regexp.c | A port of the Unix regular expression compiler |
| regfree.c | |
| utils.h | |
| yapregex.h | |
| ► rltree | |
| range_list.c | Nuno Fonseca range list implementation |
| range_list.h | Range list core data-structures |
| yap_rl.c | |
| ► system | |
| ► crypto | |
| md5.c | |
| md5.h | |
| sys.c | |
| sys_config.h | |
| ► tries | |
| base_dbtries.c | |
| base_dbtries.h | |
| base_itries.c | |
| base_itries.h | |
| base_tries.c | |
| base_tries.h | |
| core_dbtries.c | |
| core_dbtries.h | |
| core_tries.c | |
| core_tries.h | |
| itries.c | |
| tries.c | Yap-C wrapper for tries |
| ► ytest | |
| preds.yap | |
| apply_macros.yap | Purpose: Macros to apply a predicate to all elements of a list or to all sub-terms of a term |
| arg.yap | An extension of arg/3 that supports backtracking through a term |
| assoc.yap | Red-Black Implementation of Association Lists |
| atts.yap | |
| autoloader.yap | |
| avl.yap | Support for constructing AVL trees |
| bhash.yap | -*- Prolog -*- |
| block_diagram.yap | Graph the program structure |
| c_alarms.yap | Concurrent alarms |
| charsio.yap | Several operations on text |
| clauses.yap | Utilities for clause manipulation |
| cleanup.yap | Old implementation of call_cleanup |
| coinduction.yap | Co-inductive execution |
| completer.yap | X |
| dbqueues.yap | A library to support queues with no-backtrackable queues |
| dbusage.yap | Useful statistics on memory usage |
| dgraphs.yap | Directed Graph Processing Utilities |
| error.yap | |
| exo_interval.yap | This file implements a very simple interval solver designed to interact with the exo data-base |
| expand_macros.yap | Utilities that perform macro expansion for maplist/2 and friends |
| flags.yap | Flag Manipulation in Prolog |
| gensym.yap | Generate a new atom |
| hacks.yap | Prolog hacking |
| heaps.yap | Implement heaps in Prolog |
| INDEX.yap | |
| itries.yap | Tries module for ILP |
| lam_mpi.yap | |
| lambda.pl | |
| lineutils.yap | Line text processing |
| listing.yap | Emulate SWI Prolog's listing |
| lists.yap | |
| log2md.yap | |
| mapargs.yap | Macros to apply a predicate to all sub-terms of a term |
| maplist.yap | Macros to apply a predicate to all elements of a list |
| maputils.yap | Auxiliary routines for map... libraries |
| matlab.yap | YAP Matlab interface |
| matrix.yap | Vector, Array and Matrix library |
| nb.yap | Stub for global (non-backtrackable) variables |
| ordsets.yap | |
| parameters.yap | Experimental test generation code |
| prandom.yap | Van Gelder Random Number Generator |
| queues.yap | Define queue operations |
| random.yap | Integer Random Number Generator |
| range.yap | Stub for geometry operations |
| rbtrees.yap | Red-Black trees |
| readutil.yap | Read full lines and a full file in a single call |
| regexp.yap | |
| rltree.yap | |
| sockets.yap | |
| splay.yap | "Self-adjusting Binary Search Trees |
| stringutils.yap | Simple string utilitiities |
| system.yap | |
| systest.yap | |
| terms.yap | |
| timeout.yap | Calls With Timeout |
| trees.yap | Updatable binary trees |
| tries.yap | YAP tries interface |
| ugraphs.yap | |
| undgraphs.yap | Undirected Graph Processing Utilities |
| varnumbers.yap | Opposite to numbervars |
| wdgraphs.yap | |
| wgraphs.yap | |
| wundgraphs.yap | |
| x.yap | |
| ytest.yap | |
| ► OPTYap | |
| locks_alpha.h | |
| locks_alpha_funcs.h | |
| locks_mips.h | |
| locks_mips_funcs.h | |
| locks_pthread.h | |
| locks_sparc.h | |
| locks_x86.h | |
| opt.config.h | |
| opt.init.c | |
| opt.macros.h | |
| opt.mavar.h | |
| opt.preds.c | |
| opt.proto.h | |
| opt.structs.h | |
| or.copy_engine.c | |
| or.cow_engine.c | |
| or.cut.c | |
| or.insts.h | |
| or.macros.h | |
| or.memory.c | |
| or.sba_amiops.h | |
| or.sba_engine.c | |
| or.sba_unify.h | |
| or.scheduler.c | |
| or.structs.h | |
| or.thread_engine.c | |
| tab.completion.c | |
| tab.insts.h | |
| tab.macros.h | |
| tab.rational.h | |
| tab.structs.h | |
| tab.tries.c | |
| tab.tries.h | |
| tab.tries.insts.h | |
| traced_or.insts.h | |
| traced_tab.insts.h | |
| traced_tab.tries.insts.h | |
| ► os | |
| ► cwalk | |
| cwalk.c | |
| cwalk.h | |
| absf.c | Absolute file name: C ut in a different light |
| alias.c | File Aliases |
| assets.c | File Aliases |
| charsio.c | This file includes the definition of character-by-character related IO |
| chartypes.c | Character Properties |
| chartypes.yap | |
| console.c | |
| edio.yap | Input/Output according to the DEC-10 Prolog |
| encoding.h | |
| files.c | |
| fmem.c | |
| fmemopen-android.c | |
| fmemopen.c | |
| fmemopen.h | |
| format.c | |
| format.h | |
| getw.h | |
| iopreds.c | Main open and close predicates over generic streams |
| iopreds.h | |
| mem.c | |
| open_memstream.c | |
| pipes.c | This file includes the definition of a pipe related IO |
| random.c | |
| readline.c | This file includes the interface to the readline library, if installed in the system |
| readterm.c | Glue code between parser and streams |
| readutil.c | |
| sig.c | |
| sockets.c | |
| stream.h | |
| streams.c | |
| sysbits.c | |
| sysbits.h | |
| time.c | |
| writeterm.c | I/O support for writing terms |
| yapio.h | |
| yio.yap | |
| ypsocks.c | |
| ypstdio.c | |
| ► pl | |
| absf.yap | |
| android.yap | |
| arith.yap | |
| arithpreds.yap | |
| arrays.yap | |
| atoms.yap | |
| attributes.yap | |
| boot.yap | YAP bootstrap |
| boot2.yap | YAP bootstrap, now in full Prolog |
| bootlists.yap | |
| bootutils.yap | Utilities |
| builtins.yap | |
| callcount.yap | Support call counting |
| checker.yap | |
| consult.yap | Loading programs into YAP |
| control.yap | Control Predicates |
| corout.yap | |
| dbload.yap | |
| debug.yap | |
| depth_bound.yap | |
| dialect.yap | Support Prolog dialects |
| directives.yap | Control File Loading % |
| eam.yap | Extended Abstract Machine |
| error.yap | |
| errors.yap | YAP error handler |
| eval.yap | Compiling expressions |
| flags.yap | |
| grammar.yap | Grammar Rules |
| ground.yap | Term operations |
| hacks.yap | Low-level access |
| imports.yap | |
| init.yap | |
| lf.yap | |
| listing.yap | List predicates in a module |
| load_foreign.yap | |
| messages.yap | The YAP Message Handler |
| meta.yap | |
| metadecls.yap | Meta=declarations, must be run early |
| modules.yap | |
| newmod.yap | Support for creating a new module |
| op.yap | |
| os.yap | |
| pathconf.yap | |
| preddecls.yap | |
| preddyns.yap | |
| preds.yap | |
| predtypes.yap | YAP bootstrap |
| profile.yap | |
| protect.yap | |
| qly.yap | |
| save.yap | Old Style save
|
| setof.yap | Setof and friends |
| signals.yap | |
| sort.yap | |
| spy.yap | Debugger operation |
| statistics.yap | System Status |
| strict_iso.yap | StrictISO Mode |
| swi.yap | SWI Emulation support |
| tabling.yap | |
| threads.yap | |
| top.yap | |
| udi.yap | |
| undefined.yap | |
| utils.yap | Utilities |
| yapor.yap | Or-Parallelism |
| ypp.yap | Yap PreProcessing |
1.9.3