Automic VaultAutomic Vault

brew

使用 Homebrew, MacPorts, winget 安装 logtalk

查看 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

来源线索

由仓库数据生成

此页面由 av-webscripts/generate-pkg-sqlite.py 生成的私有软件包 SQLite 工件提供。

使用的来源

  • 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