Want to refresh my knowledge about Prolog. I am curious about is it possible to use Prolog for context-free string parsing? This task could help me to understand differences between Prolog and SMT solvers. I already implemented parser with Z3, I want to do the same with Prolog.
I have found that SWI-Prolog is popular enough. Let's start with it.
$ sudo snap install swi-prolog
There is nice book here: Simply Logical
Presentation about Horn clauses: Propositional logic: horn clauses
- use Prolog for component layout: describe margins, paddings, horizontal lists, vertical lists, etc. in logical language
- Prolog database as a data structure; generalization of arrays, trees, maps, graphs, etc.
- Toy programming language with Prolog (or Datalog) database instead of global variables