Logtalk and Prolog related resources.
Logtalk on the web
- Logtalk 3 with SWI Prolog Docker official and third-party containers
- Public Logtalk and Prolog pack registries
- Wumpus World Simulator for AI4EU
- bacon-logtalk - a system for scientific discovery
- SitCalc - A generic framework for passing round “state” in Logtalk applications based on Situation Calculus
- STRIPState - STRIPS/Situation Calculus handler for handling state in Logtalk applications without mutation
- webtalk - Boilerplate code for web applications written using Logtalk and SWI-Prolog
- lgtinit - Initializes project scaffolding for logtalk projects
- Weak Bases: An encoding of Post's lattice in Logtalk
- BANpipe: A logic-based scripting language designed to model complex compositions of time consuming analyses
- ESProNa: Constraint-Based Declarative Business Process Modeling
- Verdi Neruda: Meta-interpreter collection including top-down and bottom-up search strategies
- L-FLAT: Logtalk Toolkit for Formal Languages and Automata Theory
- Logtalk processing of STEP Part 21 data exchange files
- The Cuypers Multimedia Transformation Engine
- dblint - a relational database linting tool
- Wikipedia Logtalk page
- Rosetta Code Logtalk page (programming examples)
- Black Duck Open Hub Logtalk page (code analysis and other metrics)
- DuckDuckGo Logtalk search
- Google Logtalk
search
(excluding the
logtalk.org
domain) - AlltheWeb Logtalk
search
(excluding the
logtalk.org
domain) - Bing Logtalk
search
(excluding the
logtalk.org
domain) - Ask Jeeves Logtalk search
Prolog compilers
Prolog standardization
- ISO/IEC 13211-1 - Programming Language Prolog Part I: General Core
- ISO/IEC 13211-2 - Programming Language Prolog Part II: Modules
Prolog on-line learning resources
- Try SWI-Prolog online
- Learn Prolog Now!
- On-line Guide to Prolog Programming by Roman Barták
- Adventure in Prolog by Amzi! Inc.
- Prolog Tutorial by John Fisher
- Prolog Programming A First Course by Paul Brna
- Introduction to logic programming with Prolog by Mathias Schilling
- P-99: Ninety-Nine Prolog Problems (PDF)