List extension packs
/home/ISDAlab
/home/logicalcontracts/lc
/home/logicalcontracts/lc/nlpmappings
/home/logicalcontracts/lc/tezos
/home/lps_corner/engine
/home/lps_corner/swish
/home/lps_corner/utils
/home/swish
/home/swish/config-enabled
/home/swish/lib
/home/swish/lib/plugin
/home/swish/lib/render
/home/swish/pack/profile/prolog
/home/swish/pack/smtp/prolog
/usr/lib/swipl/boot
/usr/lib/swipl/library
/usr/lib/swipl/library/chr
/usr/lib/swipl/library/clp
/usr/lib/swipl/library/dcg
/usr/lib/swipl/library/dialect
/usr/lib/swipl/library/dialect/sicstus
/usr/lib/swipl/library/dialect/swi
/usr/lib/swipl/library/http
/usr/lib/swipl/library/lynx
/usr/lib/swipl/library/pldoc
/usr/lib/swipl/library/semweb
All
Application
Manual
Name
Summary
Help
prolog
:
meta_goal
(+Goal, -Pattern)
[multifile,
dtd('tmp/src/swipl-8.1.1/build/home/library/prolog_xref')
]
Define meta-predicates. See the examples in this file for details.
prolog
:
meta_goal
(+Goal, -Pattern)
[multifile,
library(prolog_xref)
]
Define meta-predicates. See the examples in this file for details.