# Installer logtalk avec Homebrew, MacPorts, winget

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de logtalk pour les workflows d'agents IA.

## installation

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

Commandes d'installation supplémentaires:

### macOS

- Homebrew (100%):

```sh
brew install logtalk
```

  Preuve: local Homebrew formula metadata

- MacPorts (94%):

```sh
sudo port install logtalk
```

  Preuve: 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
```

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

## Faits du paquet

- **Clé du paquet:** brew:logtalk
- **Gestionnaire de paquets:** Homebrew
- **Page du gestionnaire de paquets:** <https://formulae.brew.sh/formula/logtalk>
- **Version:** 3.100.1
- **Résumé source:** Declarative object-oriented logic programming language
- **Page d'accueil:** <https://logtalk.org/>
- **Dépôt:** <https://github.com/LogtalkDotOrg/logtalk3>
- **Docs amont:** <https://logtalk.org/documentation.html>
- **Licence:** Apache-2.0
- **Archive source:** <https://github.com/LogtalkDotOrg/logtalk3/archive/refs/tags/lgt31001stable.tar.gz>
- **Dernière mise à jour:** 2026-05-16T03:04:11Z
- **Généré:** 2026-07-08T07:18:31+00:00

## exécutables

- 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 (alias)
- ciaolgt (alias)
- cxlgt (alias)
- eclipselgt (alias)
- gplgt (alias)
- jiplgt (alias)
- lgt2html (alias)
- lgt2md (alias)
- lgt2pdf (alias)
- lgt2rst (alias)
- lgt2svg (alias)
- lgt2txt (alias)
- lgt2xml (alias)
- lgtenv (alias)
- logtalk_allure_report (alias)
- logtalk_backend_select (alias)
- logtalk_doclet (alias)
- logtalk_setup_env.sh (alias)
- logtalk_tester (alias)
- logtalk_user_setup (alias)
- logtalk_version_select (alias)
- quintuslgt (alias)
- sicstuslgt (alias)
- swilgt (alias)
- taulgt (alias)
- tplgt (alias)
- xsblgt (alias)
- xvmlgt (alias)
- yaplgt (alias)

## Dépendances

- gnu-prolog

## Comportement d'installation

- hook post-installation: non défini
- Précautions: Logtalk has been configured with the following environment variables: LOGTALKHOME=$HOMEBREW_PREFIX/share/logtalk LOGTALKUSER=$HOME/logtalk
- Bouteille: disponible sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux

## Version et fraîcheur

- page générée: 2026-07-08
- version du gestionnaire: 3.100.1
- gestionnaire mis à jour: 2026-05-16
- données locales: OK
- dépôt amont: https://github.com/LogtalkDotOrg/logtalk3
- info: No cached GitHub release or tag data was available.
## Historique du projet et usages

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.

### Historique du projet

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.

### Historique d'adoption

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.

### Modes d'utilisation

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.

### Pourquoi les passionnés de paquets s'y intéressent

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.

### Chronologie

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

### Sources

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


## Notes de sécurité

generalized runtime or code generation signal.

- **Risque Geiger:** yellow / moyen
- 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
## Détails de la base source

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

## Autres enregistrements de gestionnaires de paquets

- 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


## Liens liés

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


## Sources

- 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
