2024年08月04日に更新済み
Content available in the app
- Introduction: How Prolog is different from other programming languages.
- Formal logic recap
- Syntax and first program
- Understanding programs
- Execution of queries
- Unification
- List
- Tuples
- Arithmetic
- Terms and operators
- Improving programs
- Improving programs I
- Negation
- Tail recursion (also known as accumulators)
Cheat sheets
- Basic commands
- Some built-in predicates/functions
- Syntax and notation
Solved exercises
- Exercises