Learning Prolog

>>54879166
Sudoku solver?

File: yesplease.jpg (132KB, 960x640px) Image search: [Google]

132KB, 960x640px

>>54879405
Beautiful.

>>54879166
I worked with prolog back in college.

Back in the 1980s.

Prolog is long gone. You need to keep up with the times.

>>54880218
Name a better declarative language.

I'd suggest some knowledge based program.

>>54880238
Mercury

>>54880238
>declarative
Literally who cares

>>54879453
Who is the girl

>>54880271
I'm surprised anyone went there.

>>54880218
Shit, I'm playing zork right now. I don't get the impression he's learning prolog to get a job.

>>54881372
>zork
This, OP. Write yourself a simple text adventure type game.

PicoLisp has a database, web framework, and prolog engine in it, so I hear.

Bump.
So far we got, a Sudoku solver, a text adventure game, and a database?

>>54879166
Prolog is obsolete bruh

>>54883268
What Prolog really shines at is literally any problem that revolves around backtracking, since that's how it works.
https://en.wikipedia.org/wiki/backtracking
>Backtracking is an important tool for solving constraint satisfaction problems, such as crosswords, verbal arithmetic, Sudoku, and many other puzzles. It is often the most convenient (if not the most efficient) technique for parsing, for the knapsack problem and other combinatorial optimization problems.

>>54883268
>>54884256
And the remainder of what it's good at is metaprogramming, reflection and whatnot, since it's one of the few homoiconic languages and it's easy to assert and retract clauses mid-program.

>>54880238
erlang can be written like prolog

OP, just buy a prolog book.