macOS
brew install logtalklocal Homebrew formula metadata
sudo port install logtalkMacPorts ports tree · lang/logtalk/Portfile · ソース: api.github.com
brew
logtalk のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。
インストール
brew install logtalklocal Homebrew formula metadata
sudo port install logtalkMacPorts ports tree · lang/logtalk/Portfile · ソース: api.github.com
winget install --id Logtalk.Logtalk -eWindows Package Manager source index · Logtalk.Logtalk · ソース: cdn.winget.microsoft.com
概要
Declarative object-oriented logic programming language
履歴
Logtalk is a declarative object-oriented logic programming language that extends Prolog with encapsulation, code reuse, protocols, categories, events, and tooling for programming in the large.
The Logtalk project began in January 1998. Official Logtalk materials state that the first public alpha appeared in July 1998, the first public beta in October 1998, and the first stable 2.0 release in February 1999.
Logtalk's third generation started in 2012, with the first public alpha in August 2012 and the stable 3.0.0 release in January 2015. The official GitHub repository for `logtalk3` was created in August 2012, matching that third-generation development line.
The upstream README describes Logtalk as a portable trans-compiler that can use most modern standards-compliant Prolog systems as backend compilers. Its distribution includes documentation, tutorials, libraries, developer tools, examples, man pages, and release notes.
Logtalk is specialized rather than mainstream, but it has had unusually long continuity for a language package. The official site provides installers and documentation, and the supplied package facts list availability through Homebrew, MacPorts, and Windows Package Manager.
Its adoption is tied to the Prolog ecosystem: Logtalk offers a common object-oriented and component-oriented layer above multiple backend Prolog compilers, so package managers tend to expose many integration scripts such as `swilgt`, `gplgt`, `sicstuslgt`, and others.
Users run Logtalk through backend-specific integration scripts and load `.lgt` source files. The manual documents `settings.lgt` files for customizing compiler flags and library paths, searched from startup, user, home, and platform config directories.
The package also ships documentation conversion and testing tools such as `lgt2html`, `lgt2md`, `lgt2pdf`, and `logtalk_tester`, making it both a language runtime and a developer-tool suite.
Logtalk matters in package history because it is a rare long-running logic-language layer whose package surface is mostly integration scripts. Maintaining it is less about one binary and more about connecting a portable language implementation to many Prolog backends and documentation tools.
セキュリティ状態
generalized runtime or code generation signal.
リスク yellow · 信頼度 中 · runtime
エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。
local files
These source-backed paths show where this package keeps local settings or durable credentials. Automic Vault can use them as review targets for secret scanning, migration, and command approval.
Config paths the tool may read or write during local use.
$LOGTALK_STARTUP_DIRECTORY/settings.lgt$LOGTALKUSER/settings.lgt~/settings.lgt$XDG_CONFIG_HOME/logtalk/settings.lgt~/.config/logtalk/settings.lgt%USERPROFILE%\settings.lgt%APPDATA%\Logtalk\settings.lgt実行可能ファイル
| コマンド | 種類 | 公開範囲 | メモ |
|---|---|---|---|
bplgt | cli | グローバル実行可能ファイル | |
ciaolgt | cli | グローバル実行可能ファイル | |
cxlgt | cli | グローバル実行可能ファイル | |
eclipselgt | cli | グローバル実行可能ファイル | |
gplgt | cli | グローバル実行可能ファイル | |
jiplgt | cli | グローバル実行可能ファイル | |
lgt2html | cli | グローバル実行可能ファイル | |
lgt2md | cli | グローバル実行可能ファイル | |
lgt2pdf | cli | グローバル実行可能ファイル | |
lgt2rst | cli | グローバル実行可能ファイル | |
lgt2svg | cli | グローバル実行可能ファイル | |
lgt2txt | cli | グローバル実行可能ファイル | |
lgt2xml | cli | グローバル実行可能ファイル | |
lgtenv | cli | グローバル実行可能ファイル | |
logtalk_allure_report | cli | グローバル実行可能ファイル | |
logtalk_backend_select | cli | グローバル実行可能ファイル | |
logtalk_doclet | cli | グローバル実行可能ファイル | |
logtalk_setup_env.sh | cli | グローバル実行可能ファイル | |
logtalk_tester | cli | グローバル実行可能ファイル | |
logtalk_user_setup | cli | グローバル実行可能ファイル | |
logtalk_version_select | cli | グローバル実行可能ファイル | |
quintuslgt | cli | グローバル実行可能ファイル | |
sicstuslgt | cli | グローバル実行可能ファイル | |
swilgt | cli | グローバル実行可能ファイル | |
taulgt | cli | グローバル実行可能ファイル | |
tplgt | cli | グローバル実行可能ファイル | |
xsblgt | cli | グローバル実行可能ファイル | |
xvmlgt | cli | グローバル実行可能ファイル | |
yaplgt | cli | グローバル実行可能ファイル |
鮮度
これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。
https://github.com/LogtalkDotOrg/logtalk3
インストールメタデータ
| パッケージキー | brew:logtalk |
|---|---|
| バージョン | 3.100.1 |
| パッケージマネージャ | Homebrew |
| パッケージマネージャページ | https://formulae.brew.sh/formula/logtalk |
| ホームページ | https://logtalk.org/ |
| リポジトリ | https://github.com/LogtalkDotOrg/logtalk3 |
| 上流ドキュメント | https://logtalk.org/documentation.html |
| ライセンス | Apache-2.0 |
| ソースアーカイブ | https://github.com/LogtalkDotOrg/logtalk3/archive/refs/tags/lgt31001stable.tar.gz |
| 最終更新 | 2026-05-16T03:04:11Z |
| Pulse | updated |
| 依存関係 | gnu-prolog |
| Bottle | 利用可能 (対象 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | 未定義 |
| サービス | 宣言なし |
| 注意点 | Logtalk has been configured with the following environment variables: LOGTALKHOME=$HOMEBREW_PREFIX/share/logtalk LOGTALKUSER=$HOME/logtalk |
レジストリ情報
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | logtalk |
| Version Scheme | 0 |
| Revision | 0 |
| Head Version | HEAD |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
ソースデータベース一致
一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。
logtalk
sudo port install logtalkLogtalk.Logtalk
winget install --id Logtalk.Logtalk -eソース経路
このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。
View the package source record on GitHub.