[not loaded]packs.pl

$pack_detach(+Name, -Dir) is det

Detach the given package from the search paths and list of registered packages, but does not delete the files.

$pack_attach(+Dir) is det

Attach the given package

attach_packs

Attach packages from all package directories.

remove_dups(+List, -Unique, +Seen) is det[private]

Remove duplicates from List, keeping the first solution.

attach_packs(+Dir)

Attach packages from directory Dir.

attach_package(+PackDir) is semidet[private]

To be done

- Deal with autoload index. Reload?

check_existing(+Pack, +PackDir) is semidet[private]

Verify that we did not load this package before.