Prolog > SQL

This is a fact of life.

relational databases are for boomers

MongoDB is awesome, it's like a database in javascript form

>>2

awesome ... javascript

/polecat kebabs/

>>3
more specifically javascript object notation, which isn't javascript per se, but it also isn't boomer sql

SQL is the most beautiful programming language. You never have to tell the machine how to do the complex algorithms to filter and transform your data. When have you ever had to write an integer index into something in SQL? Never (unless you were using nonstandard shit like array types which goes against the whole idea of using a relational database). You just describe what you want to happen, and you get it. That's how programming should be.

You can do in 1 line of SQL what it would take a Haskaller a bunch of lenses and monad transformers to do and what it would take Javascript/JSON 100 MB of memory to do.

NoSQL = NoSecurity
NoSQL = NoPerformance

>>3
JavaScript is good because people say it's almost lisp and it makes me feel good having wasted 7 months of my life reading abstract bullshite in SICP.

>>5
You can do the same thing in Prolog, except it takes 1 line of Prolog instead of 100 lines in SQL.

>>7
everything can take 1 line when you strip all new lines

Where can I learn more about Prolog?

>>9

Where can I learn more about Prolog?

http://mind.sourceforge.net/prolog.html

http://ai.neocities.org/EnVerbGen.html

>>9
Here, Prolog is a language based on the first order logic unification algorithm.
Lowercase things are atoms while things that start with a capital are like variables.
gay(nikita).
gay(forzenvoid).
gay(mentifex).
Query: -? gay(cudder).
false.
-? gay(nikita).
true.

iq(nikita, 60).
iq(forzenvoid, 5).
iq(mentifex, 196).
Query: -? iq(R, IQ), IQ >= 50.
R = nikita,
IQ = 60 ;
R = mentifex,
IQ = 196.

Since Prolog is Turing complete you can do all kinds of things that you can do in normal languages, for example: http://kti.ms.mff.cuni.cz/~bartak/prolog/sorting.html

>>11

This is just pattern matching with some ordinal extensions.

>>12
*First order logic unification.

>>11
Thanks a lot!

Lowercase things are atoms while things that start with a capital are like variables.

Just like in Erlang (Erlang probably took this and pattern matching from Prolog)

http://kti.ms.mff.cuni.cz/~bartak/prolog/sorting.html

Definitely looks like Erlang or Haskell.

>iq(mentifex, 196).
I never realized he was such a genius.

>>12
You might wonder what the difference between unification and pattern matching is, unification goes both ways, unlike pattern matching.
Also, you can do things like -? iq(R, IQ), gay(R), IQ <= 10.
R = frozenvoid
IQ = 5.

>>14
It does not really have anything to do with haskell, but it does have a lot to do with Erlang. In fact, both the Erlang syntax as well as the first implementation of Erlang were based on Prolog.
The most important difference between Erlang and Prolog is that Prolog has backtracking.

>>15

Also, you can do things like -? iq(R, IQ), gay(R), IQ <= 10.
R = frozenvoid
IQ = 5.

Now that's interesting! I have a use case in mind: would Prolog be suited for forum spam detection?

>>17
Sure, prolog used to be used a lot for early AI systems (it is great for expert systems specifically, but it can be used for other modern probabilistic methods too).
There is this paper https://pdfs.semanticscholar.org/2542/a219af23f79cda6dd9270147d0b9c06d0431.pdf if you are into this kind of thing.

https://cdn.preterhuman.net/texts/computing/programming/Prolog/The%20Art%20of%20Prolog%20%202nd%20Ed%20-%20Leon%20Sterling%20,%20Ehud%20Shapiro.pdf

Sorry, better link https://www.dropbox.com/s/9jhlbpmzho9is9z/1408.pdf?dl=1

How does Prologue work behind the scenes? It sounds like it does a bruteforce search based on the defined patterns.

>>14

>iq(mentifex, 196).

I never realized he was such a genius.

He's not. His IQ before senility set in was (oh gee, how do you do the math for a range?) 145-149, somewhere in there. Do you write 145> IQ <149? When Dementifex arrived at the 101st Ordnance Battallion for his two-year duty station in Germany, the clerk signing him in said, "Now we gotta call up so-and-so out in the boonies and tell him he no longer has the highest GT score [General Technical] in the battalion. Up on the wall was a gigantic poster of Vladimir Lenin, and Mentishmoo with his 149 GT score translated for the battalion clerks the Russian slogan about Lenin: САМЫЙ ЧЕЛОВЕЧЕСКИЙ ЧЕЛОВЕК -- "A Most Humane Human".

But Mentislack had made a careful study of how to do well on tests, so as to score higher than warranted. One time in a history test there was a question, "In what year did such-and-such take place?"

Mentif*x did not know the answer, so he just wrote "yes". The history teacher, Mr. Donald Zech, was so upset by the cheeky answer that he announced it to the whole class with an exasperated shaking of his head.

>>22

Mr. Donald Zech,

Deceased!
http://www.legacy.com/obituaries/toledoblade/obituary.aspx?n=donald-lewis-zech&pid=188576157&fhid=6282

>>2
Mentischmuck had a crazy life.