macOS
brew install logtalklocal Homebrew formula metadata
sudo port install logtalkMacPorts ports tree · lang/logtalk/Portfile · Source: api.github.com
brew
Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de logtalk pour les workflows d'agents IA.
installation
brew install logtalklocal Homebrew formula metadata
sudo port install logtalkMacPorts ports tree · lang/logtalk/Portfile · Source: api.github.com
winget install --id Logtalk.Logtalk -eWindows Package Manager source index · Logtalk.Logtalk · Source: cdn.winget.microsoft.com
aperçu
Declarative object-oriented logic programming language
historique
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.
posture de sécurité
generalized runtime or code generation signal.
risque yellow · confiance moyen · runtime
Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.
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.lgtexécutables
| Commande | Type | Exposition | Note |
|---|---|---|---|
bplgt | cli | exécutable global | |
ciaolgt | cli | exécutable global | |
cxlgt | cli | exécutable global | |
eclipselgt | cli | exécutable global | |
gplgt | cli | exécutable global | |
jiplgt | cli | exécutable global | |
lgt2html | cli | exécutable global | |
lgt2md | cli | exécutable global | |
lgt2pdf | cli | exécutable global | |
lgt2rst | cli | exécutable global | |
lgt2svg | cli | exécutable global | |
lgt2txt | cli | exécutable global | |
lgt2xml | cli | exécutable global | |
lgtenv | cli | exécutable global | |
logtalk_allure_report | cli | exécutable global | |
logtalk_backend_select | cli | exécutable global | |
logtalk_doclet | cli | exécutable global | |
logtalk_setup_env.sh | cli | exécutable global | |
logtalk_tester | cli | exécutable global | |
logtalk_user_setup | cli | exécutable global | |
logtalk_version_select | cli | exécutable global | |
quintuslgt | cli | exécutable global | |
sicstuslgt | cli | exécutable global | |
swilgt | cli | exécutable global | |
taulgt | cli | exécutable global | |
tplgt | cli | exécutable global | |
xsblgt | cli | exécutable global | |
xvmlgt | cli | exécutable global | |
yaplgt | cli | exécutable global |
fraîcheur
Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.
https://github.com/LogtalkDotOrg/logtalk3
métadonnées d'installation
| Clé du paquet | brew:logtalk |
|---|---|
| Version | 3.100.1 |
| Gestionnaire de paquets | Homebrew |
| Page du gestionnaire de paquets | https://formulae.brew.sh/formula/logtalk |
| 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 |
| Pulse | updated |
| Dépendances | gnu-prolog |
| Bouteille | disponible (sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| post-install Homebrew | non défini |
| Service | aucun déclaré |
| Précautions | Logtalk has been configured with the following environment variables: LOGTALKHOME=$HOMEBREW_PREFIX/share/logtalk LOGTALKUSER=$HOME/logtalk |
faits du registre
| 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 |
|
correspondances dans les bases sources
Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.
logtalk
sudo port install logtalkLogtalk.Logtalk
winget install --id Logtalk.Logtalk -episte source
Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.
View the package source record on GitHub.