Did you know ...
Search Documentation:
Predicate isa_class/2
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
prolog
lib
pce.pl
swi_compatibility.pl -- XPCE Compatibility layer
pce_dispatch.pl -- Run XPCE in a separate thread
swi_hooks.pl -- Hook XPCE based graphics tools into IDE
pce_config.pl -- XPCE congifuration database
gui_tracer.pl -- Graphical debugger utilities
pce_emacs.pl -- PceEmacs toplevel
swi_ide.pl -- SWI-Prolog IDE controller
pce_image.pl
autowin.pl
pce_meta.pl -- Reflection support for XPCE
pce_to_method/2
isa_class/2
current_class/2
to_class_name/2
pce_library_class/4
implements/2
implements/3
pce_to_pl_type/2
type_accepts_function/1
classify_class/2
dragdrop.pl
pce_util.pl
edit_dialog.pl
emacs_extend.pl
help_message.pl
hyper.pl
imageops.pl
pce_template.pl
pce_arm.pl
pce_debug.pl
pce_edit.pl -- Find and edit the source location of an XPCE object
pce_manual.pl -- Start XPCE manual
pce_prolog_xref.pl -- XPCE plugin for library(prolog_xref)
pce_report.pl
pce_shell.pl
pce_tagged_connection.pl
pce_tick_box.pl
pce_toc.pl
pce_unclip.pl
persistent_frame.pl -- Save/restore layout of XPCE windows
portray_object.pl -- Create Human readable XPCE object descriptions
print_graphics.pl
prolog_predicate.pl
tabbed_window.pl
tabular.pl
swi_preferences.pl -- Edit preferences files
toolbar.pl
pce_help_file.pl
pce_xref.pl -- Cross-referencer front-end
pce_main.pl
Xserver.pl
pce_type.pl
isa_class
(?Sub, ?Super)
Succeeds if
Sub
is
Super
or below
Super
. Can be used with any instantiation. If class is instantiated the super-chain is followed.