English 中文(简体)
如何在OSX狮子的SWI-prolog中安装开发工具(plld等)
原标题:How to install development tools (plld, etc.) in SWI-prolog on OSX Lion

我试图让SWI-Prolog和C相互沟通。我有一些动态程序问题,在C中要快得多/简单得多,我希望能在Prolog中给他们打电话。

SWi 手册在http://www.swi-prolog.org/pldoc/doc_for?object=section%282,%27,swi%28%27/doc/Manual/foreignink.html%27%29 上详细介绍了如何做到这一点,但要求您将您的程序与 plld连接/装入。

我在我的机器上安装了X-Code, 并重新安装了 SWI, 但我找不到任何 pld 程序 。 我试图通过 Mac- ports 安装 swi- prolog- devel, 但它失败了 。 我认为它失败了, 因为. pkg 的 SWI 已经安装了, 并且它们相互冲突 。

Does anybody know how to either 1. Install the developer tools for SWI? or 2. Uninstall the SWI version from the pkg on their website, so that I can reinstall it using MacPorts?

最佳回答

使用 -f 选项来设置端口命令。 例如, 类型为“ sudo 端口 - f 安装 swi- prolog- devel ” 。

问题回答

暂无回答




相关问题
2 mysql instances in MAC

i recently switched to mac. first and foremost i installed xampp. then for django-python-mysql connectivity, i "somehow" ended up installing a seperate MySQL. now the seperate mysql installation is ...

Iterating over string/strlen with umlauted characters

This is a follow-up to my previous question . I succeeded in implementing the algorithm for checking umlauted characters. The next problem comes from iterating over all characters in a string. I do ...

Controlling OSX windows

I m trying to control windows of a foreign OSX applications from my application. I d like to 1. move the windows on the screen 2. resize the windows on the screen 3. change the currently active window ...

Switching J2SE versions on Mac OS (SnowLeopard)

My current JDK on Mac OS (10.6) is set to 1.6 and I d like to switch to 1.5. A listing of /System/Library/Frameworks/JavaVM.framework/Versions/ shows: lrwxr-xr-x 1 root wheel 10 Nov 3 18:34 ...

Scrolling inside Vim in Mac s Terminal

I ve been googling around trying to figure out if it s possible to use my mouse wheel to scroll while inside Vim in Mac s Terminal, with no luck. It seems as if only X11 or iTerm support this. Before ...

export to MP3 from quicktime API

A question for Apple,QT programmers. Would like to know if it s possible to export a Movie object to MP3 using the QuickTime API. Preferably the ConvertMovieToFile function. I ve looked at ...

热门标签