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
- ECTrafficModeller
- 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
- Logtalk-XML: An XML parser/objectifier for Logtalk
- 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
- An abstraction class to Logtalk objects and Prolog with SWI-Prolog for Java (outdated, replaced by Scalogic)
- Gorgias — an argumentation-based reasoning framework exploiting Logtalk to be extensible, modular and to provide debugging facilities
- Scalogic — contains Scalogtalk, an SWI-Prolog/Logtalk/Gorgias wrapper in Scala
- Wikipedia Logtalk page
- Rosetta Code Logtalk page (programming examples)
- Black Duck Open Hub Logtalk page (code analysis and other metrics)
- Google Scholar results for Logtalk
- ResearchGate results for Logtalk
- Microsoft Academic Search results for Logtalk
- DuckDuckGo Logtalk search
- Google Logtalk
search
(excluding the
logtalk.orgdomain) - AlltheWeb Logtalk
search
(excluding the
logtalk.orgdomain) - Yahoo Logtalk search
- Bing Logtalk
search
(excluding the
logtalk.orgdomain) - 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
- ISO/IEC JTC1/SC22/WG17 official home page
- Validation test suite for ISO Standard conformance by Jonathan Hodgson
- Executable Specification for Standard Prolog by Pierre Deransat and AbdelAli Ed-Dbali
- Prolog standardization discussion forums
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
- DCG tutorial by Anne Ogborn
- Introduction to logic programming with Prolog by Mathias Schilling