- android.permission.ACCESS_NETWORK_STATE
- android.permission.INTERNET
- com.google.android.gms.permission.AD_ID
- android.permission.WAKE_LOCK
- android.permission.RECEIVE_BOOT_COMPLETED
- android.permission.FOREGROUND_SERVICE
May 12, 2024
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