- swipl
- library
- error.pl
- debug.pl -- Print debug messages and test assertions
- apply.pl
- lists.pl
- broadcast.pl -- Event service
- predicate_options.pl
- shlib.pl -- Utility library for loading foreign objects (DLLs, shared objects)
- option.pl
- thread_pool.pl
- gensym.pl -- Generate unique symbols
- settings.pl
- arithmetic.pl -- Extensible arithmetic
- main.pl -- Provide entry point for scripts
- readutil.pl -- Read utilities
- operators.pl -- Manage operators
- pairs.pl -- Operations on key-value lists
- prolog_source.pl -- Examine Prolog source-files
- prolog_read_source_term/4
- requires_library/2
- load_quasi_quotation_syntax/2
- read_source_term_at_location/3
- prolog_open_source/2
- prolog_close_source/1
- prolog_canonical_source/2
- file_name_on_path/2
- file_alias_path/2
- path_segments_atom/2
- directory_source_files/3
- valid_term_position/2
- quasi_quotation_syntax/2
- xref_open_source/2
- xref_close_source/2
- quasi_quotations.pl -- Define Quasi Quotation syntax
- url.pl -- Analysing and constructing URL
- www_browser.pl -- Open a URL in the users browser
- prolog_colour.pl
- record.pl -- Access compound arguments by name
- prolog_xref.pl -- Prolog cross-referencer data collection
- occurs.pl -- Finding and counting sub-terms
- ordsets.pl -- Ordered set manipulation
- assoc.pl -- Binary associations
- ugraphs.pl -- Graph manipulation library
- iostream.pl -- Utilities to deal with streams
- atom.pl -- Operations on atoms
- prolog_pack.pl -- A package manager for Prolog
- solution_sequences.pl -- Modify solution sequences
- git.pl -- Run GIT commands
- ctypes.pl -- Character code classification
- utf8.pl -- UTF-8 encoding/decoding on lists of character codes.
- base64.pl -- Base64 encoding and decoding
- persistency.pl -- Provide persistent dynamic predicates
- pure_input.pl -- Pure Input from files and streams
- nb_set.pl -- Non-backtrackable sets
- aggregate.pl -- Aggregation operators on backtrackable predicates
- csv.pl -- Process CSV (Comma-Separated Values) data
- dialect.pl -- Support multiple Prolog dialects
- apply_macros.pl -- Goal expansion rules to avoid meta-calling
- yall.pl -- Lambda expressions
- prolog_code.pl -- Utilities for reasoning about code
- dif.pl -- The dif/2 constraint
- thread.pl -- High level thread primitives
- rbtrees.pl -- Red black trees
- nb_rbtrees.pl -- Non-backtrackable operations on red black trees
- random.pl -- Random numbers
- sandbox.pl -- Sandboxed Prolog code
- prolog_format.pl -- Analyse format specifications
- pprint.pl -- Pretty Print Prolog terms
- modules.pl -- Module utility predicates
- lazy_lists.pl -- Lazy list handling
- edinburgh.pl -- Some traditional Edinburgh predicates
- prolog_clause.pl -- Get detailed source-information about a clause
- prolog_breakpoints.pl -- Manage Prolog break-points
- dicts.pl -- Dict utilities
- date.pl -- Process dates and times
- backcomp.pl -- Backward compatibility
- prolog_debug.pl -- User level debugging tools
- threadutil.pl -- Interactive thread utilities
- listing.pl -- List programs and pretty print clauses
- ansi_term.pl -- Print decorated text to ANSI consoles
- prolog_profile.pl -- Execution profiler
- quintus.pl -- Quintus compatibility
- base32.pl -- Base32 encoding and decoding
- charsio.pl -- I/O on Lists of Character Codes
- codesio.pl -- I/O on Lists of Character Codes
- coinduction.pl -- Co-Logic Programming
- heaps.pl -- heaps/priority queues
- sort.pl
- statistics.pl -- Get information about resource usage
- terms.pl -- Term manipulation
- varnumbers.pl -- Utilities for numbered terms
- when.pl -- Conditional coroutining
- edit.pl -- Editor interface
- check.pl -- Consistency checking
- prolog_codewalk.pl -- Prolog code walker
- zip.pl -- Access resource ZIP archives
- oset.pl -- Ordered set manipulation
- make.pl -- Reload modified source files
- increval.pl -- Incremental dynamic predicate modification
- tables.pl -- XSB interface to tables
- optparse.pl -- command line parsing
- prolog_wrap.pl -- Wrapping predicates
- prolog_stack.pl -- Examine the Prolog stack
- prolog_coverage.pl -- Coverage analysis tool
- portray_text.pl -- Portray text
- wfs.pl -- Well Founded Semantics interface
- system.pl -- System utilities
- strings.pl -- String utilities
- prolog_trace.pl -- Print access to predicates
- prolog_versions.pl -- Demand specific (Prolog) versions
- prolog_metainference.pl -- Infer meta-predicate properties
- intercept.pl -- Intercept and signal interface
- prolog_config.pl -- Provide configuration information
- prolog_autoload.pl -- Autoload all dependencies
- prolog_history.pl -- Per-directory persistent commandline history
- shell.pl -- Elementary shell commands
- explain.pl -- Describe Prolog Terms
- streams.pl -- Manage Prolog streams
- fastrw.pl -- Fast reading and writing of terms
- writef.pl -- Old-style formatted write
- files.pl
- macros.pl -- Macro expansion
- win_menu.pl -- Console window menu
- tty.pl -- Terminal operations
- help.pl -- Text based manual
- hashtable.pl -- Hash tables
- qsave.pl -- Save current program as a state or executable
- rwlocks.pl -- Read/write locks
- prolog_jiti.pl -- Just In Time Indexing (JITI) utilities
- library
- read_source_term_at_location(+Stream, -Term, +Options) is semidet
- Try to read a Prolog term form an arbitrary location inside a
file. Due to Prolog's dynamic syntax, e.g., due to operator
declarations that may change anywhere inside the file, this is
theoreticaly impossible. Therefore, this predicate is
fundamentally heuristic and may fail. This predicate is used
by e.g., clause_info/4 and by PceEmacs to colour the current
clause.
This predicate has two ways to find the right syntax. If the file is loaded, it can be passed the module using the module option. This deals with module files that define the used operators globally for the file. Second, there is a hook alternate_syntax/4 that can be used to temporary redefine the syntax.
The options below are processed in addition to the options of read_term/3. Note that the
line
andoffset
options are mutually exclusive.- line(+Line)
- If present, start reading at line Line.
- offset(+Characters)
- Use seek/4 to go to the indicated location. See seek/4 for limitations of seeking in text-files.
- module(+Module)
- Use syntax from the given module. Default is the current `source module'.
- operators(+List)
- List of additional operator declarations to enforce while reading the term.
- error(-Error)
- If no correct parse can be found, unify Error with a term
Offset:Message that indicates the (character) location of
the error and the related message. Adding this option
makes read_source_term_at_location/3 deterministic (
det
).
- See also
- - Use read_source_term/4 to read a file from the start.
- - alternate_syntax/4 for locally scoped operators.