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

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

## インストール

```sh
sudo av install brew:logtalk
```

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

### macOS

- Homebrew (100%):

```sh
brew install logtalk
```

  証拠: local Homebrew formula metadata

- MacPorts (94%):

```sh
sudo port install logtalk
```

  証拠: MacPorts ports tree: lang/logtalk/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

### Windows

- winget (92%):

```sh
winget install --id Logtalk.Logtalk -e
```

  証拠: Windows Package Manager source index: Logtalk.Logtalk from https://cdn.winget.microsoft.com/cache/source.msix

## パッケージ情報

- **パッケージキー:** brew:logtalk
- **パッケージマネージャ:** Homebrew
- **パッケージマネージャページ:** <https://formulae.brew.sh/formula/logtalk>
- **バージョン:** 3.100.1
- **ソース概要:** Declarative object-oriented logic programming language
- **ホームページ:** <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
- **生成日時:** 2026-07-08T07:18:31+00:00

## 実行可能ファイル

- 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)
- 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 (エイリアス)

## 依存関係

- gnu-prolog

## インストール挙動

- post-install フック: 未定義
- 注意点: Logtalk has been configured with the following environment variables: LOGTALKHOME=$HOMEBREW_PREFIX/share/logtalk LOGTALKUSER=$HOME/logtalk
- Bottle: 利用可能 対象 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux

## バージョンと鮮度

- ページ生成日: 2026-07-08
- マネージャ版: 3.100.1
- マネージャ更新日: 2026-05-16
- ローカルデータ: OK
- 上流リポジトリ: https://github.com/LogtalkDotOrg/logtalk3
- 情報: No cached GitHub release or tag data was available.
## プロジェクトの歴史と使われ方

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.

### ソース

- <https://api.github.com/repos/LogtalkDotOrg/logtalk3>
- <https://github.com/LogtalkDotOrg/logtalk3#readme>
- <https://logtalk.org/documentation.html>
- <https://logtalk.org/handbook/index.html>
- <https://logtalk.org/manuals/userman/programming.html>
- source_facts.package-manager


## セキュリティノート

generalized runtime or code generation signal.

- **Geiger リスク:** yellow / 中
- generalized runtime or code generation signal


## 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

- 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
## ソースデータベース詳細

- **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:** head, stable

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

- MacPorts - logtalk: normalized package name match | MacPorts ports tree: lang/logtalk/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1
- winget - Logtalk.Logtalk: normalized package name match | Windows Package Manager source index: Logtalk.Logtalk from https://cdn.winget.microsoft.com/cache/source.msix


## 関連リンク

- [Secret-risk packages](https://www.automicvault.com/ja/pkg/secret-risk-packages/) - Has protected-tool coverage, approval-gate, or non-low Geiger security signals.
- [Terminal utility packages](https://www.automicvault.com/ja/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata.
- [Language runtime packages](https://www.automicvault.com/ja/pkg/language-runtime-packages/) - Matched language runtime, compiler, or interpreter metadata.
- [Networking and protocol packages](https://www.automicvault.com/ja/pkg/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata.
- [gnu-prolog](https://www.automicvault.com/ja/pkg/brew/gnu-prolog/) - Runtime dependency declared by Homebrew.
- [flix](https://www.automicvault.com/ja/pkg/brew/flix/) - Shares av.db curated category or tags: cli, language-runtime, logic-programming, programming-language.
- [inko](https://www.automicvault.com/ja/pkg/brew/inko/) - Shares av.db curated category or tags: cli, language-runtime, object-oriented, programming-language.
- [mercury](https://www.automicvault.com/ja/pkg/brew/mercury/) - Shares av.db curated category or tags: cli, language-runtime, logic-programming, programming-language.
- [picat](https://www.automicvault.com/ja/pkg/brew/picat/) - Shares av.db curated category or tags: cli, language-runtime, logic-programming, programming-language.
- [ruby](https://www.automicvault.com/ja/pkg/brew/ruby/) - Shares av.db curated category or tags: cli, language-runtime, object-oriented, programming-language.
- [agda](https://www.automicvault.com/ja/pkg/brew/agda/) - Shares av.db curated category or tags: cli, language-runtime, programming-language.
- [algol68g](https://www.automicvault.com/ja/pkg/brew/algol68g/) - Shares av.db curated category or tags: cli, language-runtime, programming-language.
- [ats2-postiats](https://www.automicvault.com/ja/pkg/brew/ats2-postiats/) - Shares av.db curated category or tags: cli, language-runtime, programming-language.

## Combined YAML source

View the package source record on GitHub. [combined/logtalk.yml](https://github.com/automic-vault/db/blob/main/combined/logtalk.yml)


## ソース

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