Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 6 years ago.
Improve this question
I am new to prolog and to try some logic programs I am looking for a nice prolog interpreter.
Any suggestion?
BProlog
Eclipse
SWI-Prolog
SICStus
Gnu-Prolog
Visual Prolog
And if you want to play around without installations possibly
Ideone
There are more, but these should be enough.
Gprolog and sicstus prolog are the big ones. Also, use Google the next time.
An interesting and peculiar viewpoint come with YieldProlog.
What like to me it's the fact that using it you can embed logic programs in your pages (using JavaScript)...
OTOH, it's not much useful if you need to debug your logic...
Related
Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 7 years ago.
Improve this question
I wanna learn something more about Definite Clause Grammar in Prolog and I'm searching some book and tutorial online.
I've already saw something on "Learn Prolog Now", "The art of Prolog" and a tutorial on Swi-Prolog, but none of those tells much about them.
Can anyone advice me some exhaustive book about this topic?
Thank you :)
this is mandatory: https://www.metalevel.at/prolog/dcg.html, but it focus on computational usage of DCG. My preferred Prolog book happens to focus instead on natural language analysis: go google for 'Pereira Shieber' and get the PDF. It's a very good introduction to Prolog and - gradually - to DCGs, and it contains also advanced material - about generalized parsing and performance issues.
edit I realized that the DCG tag has a ready to use link to the English downloadable version. By myself, I have the 'dead tree' Italian version, with some extension (and - alas - some typo errors) about the differences required by treatment of Italian.
Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 7 years ago.
Improve this question
I have input sentences such as "I went to cup the ball." (cup is a verb) and "I drank milk from cup." (cup is a noun) and I need to figure out whether each word is a noun, adjective, verb, etc for my application. I am no linguist and I would rather not spend days/weeks writing some effective sentence parser. Does there exist a free script or API that can accomplish this task? The faster the algorithm the better because I plan to parse entire essays at a time.
I am writing this application in C#, so if possible that language is prefered.
Try Stanford CoreNLP for .NET or SharpNLP. I've never actually used these, so I can't comment further. I've played with NLTK in Python before.
Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 4 months ago.
Improve this question
I need to parse or tokenize English sentences.
Is there any NLP toolkit in Prolog?
Thanks.
Attempto is IMO your best option. The parser is implemented in SWI-Prolog, and has other tools mainly implemented in Java.
Lower level and a little outdated, from SWI-Prolog links page, there is ProNTO. I'm sorry, I've never tried any of these components.
Prolog was born as a natural language processor: but (maybe cause it evolved as a general purpose language) today is not the preferred choice for the task. The Wikipedia page, to be true very incomplete, doesn't report any Prolog toolkit.
Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 5 years ago.
Improve this question
Is there a jdoc/pydoc/rdoc style inline documentation system for bash?
I have a library of bash functions that could really use some nice inline docs that I can convert to HTML for easy reading.
Ask and ye shall receive. Also, see the Google search since it looks like there may be more than one that use the name "bashdoc"
I think your best bet is man pages, and man2html.
Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
We don’t allow questions seeking recommendations for books, tools, software libraries, and more. You can edit the question so it can be answered with facts and citations.
Closed 2 years ago.
Improve this question
...And have they published the results where I can afford to read them?
There are several people doing things along those lines. Look through the papers at John Rushbie's PVS site, and look at Coq's papers.
Searching Citeseer will probably do some good too — almost everyone nowadays publishes their preprints to Citeseer, so a little looking around will usually get you the same paper, or something very very similar to the paper published in the expensive journal.
Ah, there is a proof of soundness for the process calculus underlying the Pict programming language in David N.Turner's thesis.
The Archive of Formal Proofs has several entries in the category "Process Calculi" listed in its topics, such as CCS and Pi Calculus.