How can I use a library from github?

Tell me how to properly load the library I need from github into my project?

Well, it depends. If it has a pack.pl file, chances are good that you can install it via pack_install/1. For instance, the tap package from https://github.com/fnogatz/tap can be installed as follows:

?- pack_install('https://github.com/fnogatz/tap.git').

Then, you can use it via ?- use_module(library(tap)).

If that’s not working for you, you better give a hint on which library you intend to use :slight_smile:

i do this but get error
?- pack_install(‘https://github.com/khueue/prolog-bson.git’).
ERROR: Domain error: pack_name' expected, found ‘prolog-bson’’
ERROR: In:
ERROR: [14] throw(error(domain_error(pack_name,‘prolog-bson’),_8586))
ERROR: [11] prolog_pack:pack_default_options(‘https://github.com/khueue/prolog-bson.git’,'prolog-bson’,[],_8628) at /home/oper/lib/swipl/library/prolog_pack.pl:495
ERROR: [10] prolog_pack:pack_install(‘https://github.com/khueue/prolog-bson.git’) at /home/oper/lib/swipl/library/prolog_pack.pl:458
ERROR: [9] toplevel_call(user:user: …) at /home/oper/lib/swipl/boot/toplevel.pl:1113
ERROR:
ERROR: Note: some frames are missing due to last-call optimization.
ERROR: Re-run your program in debug mode (:- debug.) to get more detail.

The project has a readme; did you read it? It doesn’t look like a pack. It is also ancient. You need to provide more relevant detail in your questions.

I asked how to connect it to my project?

you could fork the project and add a pack as per fnogatz’s example:

Sometimes people don’t have time to explain too explicitly what you’d like them to.
Cheers