Logic Programming Is Amazing
26 Mar 2017| Ordinary programming | Logic programming |
|---|---|
| Identify problem | Identify problem |
| Assemble information | Assemble information |
| Figure out solution | coffee break :) |
| Encode solution | Encode info in KB |
| Encode problem instance as data | Encode problem instance as data |
| Apply program to data | Ask queries |
Wow, logic programming is really amazing.
But, reality is reality. The following process is:
| Ordinary programming | Logic programming |
|---|---|
| … | … |
| Apply program to data | Ask queries |
| Start the program | Start the program |
| Program finished | Running |
| Graduate | Running |
| Global travel | Running |