Could you recommend a NLP toolkit in Prolog? [closed] - prolog

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.

Related

Where I can find an exhaustive book about "Definite Clause Grammar" in Prolog? [closed]

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.

Is there an algorithm or API for determining word type from context? [closed]

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.

Looking for a prolog interpreter [closed]

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...

List of commonly used function/keyword names [closed]

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
This may be an unusual question, but are there any resources people have come across that list all generic or common functions/keywords used in most programming languages? Examples may include "var", "abs", "class", "int" and so on. I'm creating a syntax highlighter and was wondering if anyone any of these resources they would like to share. I'm aware that specific languages have their own appendix references, and I've used this to construct PHP syntax, if anyone has any of these references I'd appreciate if you shared them.
You will probably have to google for specific languages and combine the results yourself.
Maybe viewing the source of some open-source syntax highlighting tools will be helpful.
Also this site is pretty nice for comparison:
http://www.reservedwordsearch.com/
Any introductory book on a programming language will have a keyword reference table for that language. I imagine that any commonly available implementation today will also offer a similar table in electronic form.

Has anybody used a proof assistant to prove soundness of a typed process calculus? [closed]

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.

Resources