Есть ли возможность загрузить SSL сертификат с сервера из консоли, но не с помощью openssl, так как он не умеет работать с прокси?(патчи для него тоже не помогают, так как не поддерживают аутентификацию в прокси).

Слышал, что можно сделать с помощью curl, но в манах ничего похожего не нашел

Потихоньку изучаю prolog, пользуюсь GNU Prolog. Код:

 
item(1, apple, 150).
item(2, mushroom, 120).
item(3, grape, 200).
item(4, melon, 300).

find_item(X) :-
  item(_,X,_).




| ?- find_item(apple).

true ? ;

no

item(1, apple, 150).
item(2, mushroom, 120).
item(3, grape, 200).
item(4, melon, 300).

find_item(X) :-
  item(X,_,_).



| ?- find_item(1).

yes