Automic VaultAutomic Vault

brew

logtalk を Homebrew, MacPorts, winget でインストール

logtalk のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。

インストール

追加のインストールコマンド

macOS

Homebrew確認済み · 100%
brew install logtalk

local Homebrew formula metadata

MacPorts確認済み · 94%
sudo port install logtalk

MacPorts ports tree · lang/logtalk/Portfile · ソース: api.github.com

Windows

Windows Package Manager確認済み · 92%
winget install --id Logtalk.Logtalk -e

Windows Package Manager source index · Logtalk.Logtalk · ソース: cdn.winget.microsoft.com

概要

パッケージ概要

Declarative object-oriented logic programming language

コマンドとエイリアス

  • bplgt
  • ciaolgt
  • cxlgt
  • eclipselgt
  • gplgt
  • jiplgt
  • lgt2html
  • lgt2md
  • lgt2pdf
  • lgt2rst
  • lgt2svg
  • lgt2txt
  • lgt2xml
  • lgtenv
  • logtalk_allure_report
  • logtalk_backend_select
  • logtalk_doclet
  • logtalk_setup_env.sh
  • logtalk_tester
  • logtalk_user_setup
  • logtalk_version_select
  • quintuslgt
  • sicstuslgt
  • swilgt
  • taulgt
  • tplgt
  • xsblgt
  • xvmlgt
  • yaplgt

履歴

プロジェクトの歴史と使われ方

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.

タイムライン

  • 1998: Project started in January; first public alpha released in July.
  • 1999: First stable 2.0 release published in February.
  • 2012: Third-generation development starts and the `logtalk3` repository is created.
  • 2015: Logtalk 3.0.0 stable release published.
  • 2026: Logtalk 3.100.x tags appear in the official repository.

Related projects

  • Logtalk is designed to run on top of backend Prolog systems, including SWI-Prolog, GNU Prolog, SICStus Prolog, XSB, YAP, and others documented by its integration scripts.
  • It is related to Prolog module systems, object-oriented Prolog extensions, and multi-paradigm logic programming environments.

セキュリティ状態

リスクレベル: yellow

generalized runtime or code generation signal.

リスク分類器

リスク yellow · 信頼度 中 · runtime

理由

  • generalized runtime or code generation signal

信号

  • text:programming language

インストール挙動

  • formula メタデータに Homebrew post-install フックは記録されていません。
  • Homebrew bottle メタデータは 6 個のプラットフォームターゲットで利用できます。
  • 1 件の実行時依存関係とともにインストールされます。

推奨レビュー

エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。

local files

Configuration and credential file locations

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.

Configuration files

Config paths the tool may read or write during local use.

Unix
$LOGTALK_STARTUP_DIRECTORY/settings.lgt$LOGTALKUSER/settings.lgt~/settings.lgt$XDG_CONFIG_HOME/logtalk/settings.lgt~/.config/logtalk/settings.lgt
Windows
%USERPROFILE%\settings.lgt%APPDATA%\Logtalk\settings.lgt

実行可能ファイル

インストールされる実行可能ファイル

コマンド種類公開範囲メモ
bplgtcliグローバル実行可能ファイル
ciaolgtcliグローバル実行可能ファイル
cxlgtcliグローバル実行可能ファイル
eclipselgtcliグローバル実行可能ファイル
gplgtcliグローバル実行可能ファイル
jiplgtcliグローバル実行可能ファイル
lgt2htmlcliグローバル実行可能ファイル
lgt2mdcliグローバル実行可能ファイル
lgt2pdfcliグローバル実行可能ファイル
lgt2rstcliグローバル実行可能ファイル
lgt2svgcliグローバル実行可能ファイル
lgt2txtcliグローバル実行可能ファイル
lgt2xmlcliグローバル実行可能ファイル
lgtenvcliグローバル実行可能ファイル
logtalk_allure_reportcliグローバル実行可能ファイル
logtalk_backend_selectcliグローバル実行可能ファイル
logtalk_docletcliグローバル実行可能ファイル
logtalk_setup_env.shcliグローバル実行可能ファイル
logtalk_testercliグローバル実行可能ファイル
logtalk_user_setupcliグローバル実行可能ファイル
logtalk_version_selectcliグローバル実行可能ファイル
quintuslgtcliグローバル実行可能ファイル
sicstuslgtcliグローバル実行可能ファイル
swilgtcliグローバル実行可能ファイル
taulgtcliグローバル実行可能ファイル
tplgtcliグローバル実行可能ファイル
xsblgtcliグローバル実行可能ファイル
xvmlgtcliグローバル実行可能ファイル
yaplgtcliグローバル実行可能ファイル

鮮度

バージョンと鮮度

これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。

ページ生成日2026-07-08
マネージャ版3.100.1
マネージャ更新日2026-05-16
ローカルデータOK
上流not checked
検出された最新未検出

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
Pulseupdated
依存関係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 DatabaseHomebrew formula API
Taphomebrew/core
Full Namelogtalk
Version Scheme0
Revision0
Head VersionHEAD
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
URL Keys
  • head
  • stable

ソースデータベース一致

他のパッケージマネージャ記録

一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。

MacPorts95%

logtalk

sudo port install logtalk
  • normalized package name match
  • 一致条件: Logtalk
MacPorts ports tree · api.github.com · MacPorts ports tree: lang/logtalk/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1
winget95%

Logtalk.Logtalk

winget install --id Logtalk.Logtalk -e
  • normalized package name match
  • 一致条件: Logtalk
Windows Package Manager source index · cdn.winget.microsoft.com · Windows Package Manager source index: Logtalk.Logtalk from https://cdn.winget.microsoft.com/cache/source.msix

ソース経路

リポジトリデータから生成

このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。

使用ソース

  • Geiger risk classifier
  • Nucleus package database
  • av.db category and tag curation
  • cross-ecosystem install command graph
  • curated configuration and credential file locations
  • curated package history
  • external package-manager database matches
  • package relationship graph
  • package version freshness
  • package-page enrichment