Logtalk, Prolog, and Object-Oriented Programming related resources.
Logtalk on the web
- Logtalk 3 with SWI Prolog Docker official and third-party containers
- 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
- 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
- Learn X in Y minutes Where X=Logtalk English Italian
- Music, metas-interpreters, and an adventure game using Logtalk
- Foxes and Rabbits
- Freecode Logtalk page
- 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
- Altavista Logtalk
search
(excluding the
logtalk.orgdomain) - 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
Prolog programming resources
Logic programming
- Association for Logic Programming
- The World Wide Web Virtual Library: Logic Programming
- Free Online Logic Programming Books :: FreeTechBooks.com