🎄teratailクリスマスプレゼントキャンペーン2024🎄』開催中!

\teratail特別グッズやAmazonギフトカード最大2,000円分が当たる!/

詳細はこちら
Prolog

Prologは、非手続き型プログラミング言語です。述語論理を使った論理型言語と言われており、自然言語解析や理解、推論などのAIに有効です。エキスパートシステム開発などに用いられています。

MacOS(OSX)

MacOSとは、Appleの開発していたGUI(グラフィカルユーザーインターフェース)を採用したオペレーションシステム(OS)です。Macintoshと共に、市場に出てGUIの普及に大きく貢献しました。

Q&A

1回答

7811閲覧

dyld: Library not loaded の解決法

manpenguin

総合スコア7

Prolog

Prologは、非手続き型プログラミング言語です。述語論理を使った論理型言語と言われており、自然言語解析や理解、推論などのAIに有効です。エキスパートシステム開発などに用いられています。

MacOS(OSX)

MacOSとは、Appleの開発していたGUI(グラフィカルユーザーインターフェース)を採用したオペレーションシステム(OS)です。Macintoshと共に、市場に出てGUIの普及に大きく貢献しました。

0グッド

0クリップ

投稿2018/05/27 16:55

学校の課題でPrologをやっています。
Macでターミナルを利用して実行していたのですが、
パソコン本体を買い替え、データを移行し、いつものようにswiplのコマンドでSWI-Prologを立ち上げようとすると、次のようなエラーが出てしまい、実行することができなくなってしまいました。

% swipl
dyld: Library not loaded: /usr/local/opt/gmp/lib/libgmp.10.dylib
Referenced from: /usr/local/Cellar/swi-prolog/7.6.4/libexec/lib/swipl-7.6.4/lib/x86_64-darwin17.3.0/libswipl.dylib
Reason: image not found
zsh: abort swipl

移行する際に何か手違いがあったんだと思いますが、何が原因かわかりません。
分かる方いたらよろしくお願いします。

気になる質問をクリップする

クリップした質問は、後からいつでもMYページで確認できます。

またクリップした質問に回答があった際、通知やメールを受け取ることができます。

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

fiwa

2018/05/28 02:13

brew doctor で問題が表示されないか見てみたら。また、ls -l /usr/local/opt/gmp/lib/libgmp.10.dylib の結果はどうなりますか?
manpenguin

2018/07/18 07:43

無事解決しました! ありがとうございました。
guest

回答1

0

半年も過ぎての回答で恐縮です。
本日、同様のメッセージが出て調べていたところ解決しました。
一応、参考までに書いておきます。

私の場合は、

$ rails test

で下記のエラーでした。

dyld: Library not loaded: /usr/local/opt/gmp/lib/libgmp.10.dylib

昨日、brewを削除したのが原因と思います。

https://brew.sh/

こちらを参考に、homebrewをインストール。
そして、

$ brew install gmp

これで復旧できました。

投稿2018/12/21 11:55

退会済みユーザー

退会済みユーザー

総合スコア0

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

あなたの回答

tips

太字

斜体

打ち消し線

見出し

引用テキストの挿入

コードの挿入

リンクの挿入

リストの挿入

番号リストの挿入

表の挿入

水平線の挿入

プレビュー

まだベストアンサーが選ばれていません

会員登録して回答してみよう

アカウントをお持ちの方は

15分調べてもわからないことは
teratailで質問しよう!

ただいまの回答率
85.36%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問