Is prolog used in real life?

it the best book about AI in general

>ivan brapko

Prolog, sips, now that was a dialup provider.

Attached: 1537968521289.png (600x373, 92K)

prolog is used in graph databases like spark

There is 0 reason to use prolog because you can use logic programming inside any other language with a simple library (even more so with DSLs in lisps).

It's only relevant to AI if you live in the 1920's.

There are people using miniKanren in industry.
minikanren.org/
>miniKanren is an embedded Domain Specific Language for logic programming.

Prolog is pretty cool. If you write an interpreter in it you can automatically have it automatically generate a compiler via partial evaluation.

>tfw failed my last certamen (and failed course) because of prolog
It just wasn't my thing man.
How can I truly understand prolog so this doesn't happen again next semester?

Just add a cut ("!") to every line of your program and remove them one at a time till the program stops working.

Arithmetic Operations In Prolog: slideshare.net/prologcontent/prolog-arithmetic-operations-in-prolog-3581732
Artificial intelligence Prolog Language: slideshare.net/jhonrehmat/prolog-11492561
If-then-else: cs.union.edu/~striegnk/learn-prolog-now/html/node89.html
If Conditions: dreamincode.net/forums/topic/249036-prolog-how-do-i-do-if-conditions/

>SHORT
Prolog: en.wikibooks.org/wiki/Expert_Systems/Prolog
Prolog syntax and semantics: en.wikipedia.org/wiki/Prolog_syntax_and_semantics
Introduction to the Programming Language PROLOG: sjsu.edu/faculty/watkins/prolog.htm

>MEDIUM
A Concise Introduction To Prolog: cis.upenn.edu/~matuszek/Concise Guides/Concise Prolog.html
A Prolog Introduction for Hackers: atdt.freeshell.org/k5/story_2004_2_25_124713_784.html
Prolog as a Text-Hacking Language: j-paine.org/dobbs/prolog_scripting.html

>LONG
Learn Prolog Now: learnprolognow.org/lpnpage.php?pageid=online
Prolog Tutorial: cpp.edu/~jrfisher/www/prolog_tutorial/contents.html , cpp.edu/~jrfisher/www/prolog_tutorial/pt_framer.html
Prolog Tutorials: cs.nuim.ie/~jpower/Courses/Previous/PROLOG/
Prolog - Wikibooks: en.wikibooks.org/wiki/Prolog
Prolog Guide: kti.ms.mff.cuni.cz/~bartak/prolog/contents.html
GNU-Prolog Manual: gprolog.org/manual/gprolog.html

>VIDEOS
Prolog Instantiation and Backtracking: youtube.com/watch?v=AmWf6SeFmqc
Production Prolog: youtube.com/watch?v=G_eYTctGZw8
A Taste of Prolog: youtube.com/watch?v=hEOVcLAPRG8
Introduction to PROLOG: youtube.com/watch?v=GHLfeGN5OMk
Prolog Programming: youtube.com/playlist?list=PLVmRRBrc2pRCWtYk752jCIfhD8GmoYfc_
Prolog Tutorial: youtube.com/watch?v=SykxWpFwMGs
Prolog and Artificial Intelligence: youtube.com/playlist?list=PL1Mcznu7_9aLIFImsl0z2Mp_v98W9BT00

No. Only brainlet-tier C derived programming languages are actually used.Get used to giving up everything fun and interesting when you inevitable end up exclusively working on CRUD applications and their boring backends.

Attached: datalog.jpg (393x330, 48K)

They use prolog for webdev on some places.

CAPO!

I built an expert system in lisp using an embedded prolog and rete-based inference engine. It's running deep within the bowels of some major financial institutions.

Prolog is definitely not used for most line-of-business apps, but there are niches like mine where it (and it's cousin lisp) really shine.

Mercury is another super cool relational programming language, check it out.

Another thing that prolog makes really easy is writing type-checkers/inferencers for any domain-specific languages that you create.

Like constraint solving, relational programming is an awesome tool to have in your kit. Even if you don't write an entire system in it, reaching for an embedded prolog or writing a specialized service in prolog where it makes sense can save you so much boilerplate retardation.

It's used in theorem proving and AI expert solving like IBM's Watson.

It's not used in babby jobs that create software or other basic menial things.

weird, a good programming thread on Jow Forums

Would love to see if OP can come up with game engine with prolog as AI programming/scripting.

any kind of natural language processing (Alexa) will use prolog/something similar.

jane street uses prolog

Prolog is a waste of time. Absolute meme. I recommend never learning academic languages. If academics knew what they were doing they would not be academics.

learn to poo in the loo first

The only exception to this is Haskell, which is very good and well worth learning.

But is Haskell the exception? As far as I know the functional languages that are used are Erlang (Whatsapp), Elixir (Discord), Scala (Twitter), and Ocaml (some quant shit)

>Erlang (Whatsapp)

And Grinder. Joe Armstrong must be proud.

t. literally inbred

Are you stupid? Japan has been doing this too, british are not the only ones.

THIS BOOK THE best book about AI in general

Automobile companies in Japan prefer Prolog because they can see the logic behind.

Yes, look at the JVM specification.

It's used i finite domain constraint solving which has some real world applications

also learned it at uni couple years back.
there are some prolog dialects that might be more useful than the base language.
though in general I'd suggest haskell or maybe erlang, depending on what you want to do.

Honestly I'm just appreciating the beauty of the thing. You just give it the form of the result you want to reach and it finds the result for you which can save insane amounts of code sometimes. Recursivity plays its role here too.
Although sometimes you just have to do some dirty hacks using variables as accumulators and whatnot which can become pretty ugly pretty quickly.

Is it good to put Prolog in my resume ?

This

Datalog is the patrician database

Were you dropped on your head as a kid or did you just love snorting paint all these years?

It's a no brainer if you're applying for a job in AI. Even otherwise I'd say yes, it's a good idea.

>it's a no brainer if you're applying for a job that has not used it for the past 40 years and will never use it again
OK kid

>implying

Any links to the implementations?

bump for this

dumping
sourceforge.net/projects/jpie/
bitbucket.org/tuprologteam/tuprolog
ulfdittmer.com/view?PrologJava
jlogic.sourceforge.net/

Enjoy prolog is like enjoying aids

I would like to agree, but their botched compiler and "logical" indentation say otherwise.

Twilio uses it in some parts of their system.

This looks cool, I bet not many people know about it or it would get clojure level of popularity.