– Markus Triska
- Introduction )
- Facets of Prolog
- Logical Foundations
- Basic Concepts
- Data Structures )
- Reading Prolog Programs
- Writing Writing Prolog Programs
- Termination
- Nontermination
- Integer Arithmetic
- Higher-order Predicates
- Logical Purity
- Declarative Testing
- Declarative Debugging
- Definite Clause Grammars.
- Sorting and Searching
- Global Variables
- Thinking in States
- Meta-interpreters
- Macros
- Combinatorial Optimization
- Expert Systems
- Web Applications
- Cryptography
- Business Cases
- Logical Purity
- Theorem Proving
- Logic Puzzles
- Efficiency
- Memoization
- Artificial Intelligence
- Horror Stories
- Fun Facts
- Engineering Aspects
- The Future Selected example programs are available as
showcases
. An overview of all videos is available at: (https://www.metalevel.at/prolog/videos/ For offline access, you can download this book from a public git repository: (https://github.com/triska/the-power-of-prolog If you have any comments, suggestions or questions, you can also file them as issues in that repository. Recursion Main page Read More - Horror Stories
GIPHY App Key not set. Please check settings