Did you know ...
Search Documentation:
Predicate trimcore/0
HOME
DOWNLOAD
SWI-Prolog
Sources/building
Docker images
Add-ons
Browse GIT
DOCUMENTATION
Manual
Packages
FAQ
Command line
PlDoc
Bluffers
▶
Prolog syntax
PceEmacs
HTML generation
License
Publications
Rev 7 Extensions
TUTORIALS
Beginner
▶
Getting started
Learn Prolog Now!
Simply Logical
Debugger
Development tools
Advanced
▶
Modules
Grammars (DCGs)
clp(fd)
Printing messages
PlDoc
Web applications
▶
Web applications
Let's Encrypt!
Pengines
Semantic web
▶
ClioPatria
RDF namespaces
Graphics
▶
XPCE
GUI options
Machine learning
▶
Probabilistic Logic Programming
External collections
▶
Meta level tutorials
For packagers
▶
Linux packages
COMMUNITY
IRC
Forum & mailing list
Blog
News
Report a bug
Submit a patch
Submit an add-on
Roadmap (on GitHub)
External links
Contributing
Code of Conduct
Contributors
SWI-Prolog items
COMMERCIAL
WIKI
Login
View changes
Sandbox
Wiki help
All tags
dialect
xsb
basics.pl -- XSB basics.P emulation
consult.pl
curr_sym.pl
error_handler.pl -- XSB compatible error handling
gensym.pl
gpp.pl -- Use XSB gpp preprocessor
intern.pl
lists.pl
machine.pl
gc_heap/0
trimcore/0
abolish_table_info/0
close_open_tables/1
str_cat/3
parsort/4
term_type/2
xsb_expand_file_name/2
expand_filename_no_prepend/2
parse_filename/4
conset/2
conget/2
slash/1
xsb_backtrace/1
xwam_state/2
ordsets.pl
setof.pl
source.pl -- Support XSB source .P files
standard.pl -- XSB Term Writing to Designated I/O Streams
timed_call.pl -- XSB timed call
storage.pl -- Emulate XSB syslib/storage.P
string.pl
thread.pl
trimcore
Trim the stacks.