i've a doubt about using Prolog for my grad school research. Recently, i've presented a small part of my research work which is discussed about logic and prolog in a conference. I got a comment from an audience that questioned me "why i chose prolog". He said that prolog is an outdated languages (popular usage around '80s) and people are rarely talk about prolog now. Is there any risk if i use prolog in my research study because of its old-fashioned language? or maybe i should prolog as only a part of my study. This is confusing me as i know that prolog is still be using in academia now..
migration rejected from stackoverflow.com Nov 3 '14 at 22:09
This question came from our site for professional and enthusiast programmers. Votes, comments, and answers are locked due to the question being closed here, but it may be eligible for editing and reopening on the site where it originated.
closed as primarily opinion-based by MichaelT, GlenH7, Kilian Foth, Dan Pichelman, gnat Nov 3 '14 at 22:09
Many good questions generate some degree of opinion based on expert experience, but answers to this question will tend to be almost entirely based on opinions, rather than facts, references, or specific expertise.If this question can be reworded to fit the rules in the help center, please edit the question.
Currently logic programming can be done by using description language such as OWL (Web Ontology Language) and one of many inference engines.
Clear advantage is that it's fairly easy to use it within other languages (like Java, C, and you can use specialized triplestore database.
It looks to me that the question is somehow similar in spirit to the following other questions:
In academia the relationship of Prolog to mathematical logic is also of great interest. But one can do mathematical logic without a computer, just paper and pencil. To get an impression what is going on in mathematical logic one might like to visit:
Mathematical Logic around the World
When you see the term "Horn Clause" or somesuch, it is evident that it is related to Prolog. But since Prolog allows extensions in various directions, the connection is very broad.