Różnice między wybraną wersją a wersją aktualną.
| Nowa wersja | Poprzednia wersja | ||
|
pl:prolog:prolog_research [2006/11/14 19:01] gjn created |
pl:prolog:prolog_research [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| ====== Prolog Research ====== | ====== Prolog Research ====== | ||
| All the topics that do not fall into tha //classic// Prolog topics, such as extensions, CLP, tools, and so on. | All the topics that do not fall into tha //classic// Prolog topics, such as extensions, CLP, tools, and so on. | ||
| + | ===== ISO ===== | ||
| + | [[http://pauillac.inria.fr/~deransar/prolog/docs.html|standard link]] | ||
| ===== CLP ===== | ===== CLP ===== | ||
| ===== Prolog and OO ===== | ===== Prolog and OO ===== | ||
| - | * [[http://www.logtalk.org/||LogTalk]] | + | * [[prolog:logtalk]] |
| + | * [[http://www.prologonlinereference.org/oop.psp|Prolog OOP]] | ||
| + | * Other implementation in [[http://www.trinc-prolog.com/doc/pl_obj.htm|Trinc Prolog]] | ||
| ===== Prolog and UML ===== | ===== Prolog and UML ===== | ||
| Linia 13: | Linia 17: | ||
| http://home.mit.bme.hu/~majzik/publicat/safecomp01.pdf | http://home.mit.bme.hu/~majzik/publicat/safecomp01.pdf | ||
| + | ===== Prolog on JVM ===== | ||
| + | Different [[http://www.robert-tolksdorf.de/vmlanguages.html|languages on JVM]] including Prolog. | ||
| + | |||
| + | ===== Prolog and LOGO ===== | ||
| + | [[http://prologo.sourceforge.net/|ProLOGO]] | ||
| + | |||
| + | |||
| + | |||
| + | ===== WAM ===== | ||
| + | [War83] David H. D. Warren. [[http://www.ai.sri.com/pubs/files/641.pdf|"An abstract Prolog instruction set"]]. Technical Note 309, SRI International, Menlo Park, CA, October 1983. ({{:prolog:warren-641.pdf|wersja lokalna}}) | ||
| + | |||
| + | [[http://www.vanx.org/archive/wam/wam.html|Warren's Abstract Machine: A Tutorial Reconstruction]] | ||
| + | {{:prolog:wambook.pdf|wersja lokalna}} | ||
| + | |||
| + | ===== Parallelism ===== | ||
| + | |||
| + | Enrico Pontelli [[http://www.cs.nmsu.edu/~epontell/adventure/paper.html|Adventures in Parallel Logic Programming]] | ||
| + | |||
| + | ===== Prolog Java Logtalk C++ ===== | ||
| + | |||
| + | From SWI-Prolog mailing list: | ||
| + | |||
| + | <code> | ||
| + | Hello, | ||
| + | |||
| + | I have had the same problem but from Java, and the solution I | ||
| + | found was to use logtalk to store each agent "database" | ||
| + | |||
| + | You can look at my logtalk/prolog/java source code to see how I | ||
| + | did it, I think it will be easily transposed to C++ :) | ||
| + | |||
| + | You can find it there : | ||
| + | https://dev.crazydwarves.org/ProjetM1TER/browser/trunk | ||
| + | |||
| + | Good luck :) | ||
| + | |||
| + | Victor | ||
| + | |||
| + | On Wed, Jan 09, 2008 at 11:17:31AM +0100, Christian Mol wrote: | ||
| + | > Hello, | ||
| + | > | ||
| + | > In my C++ program if have a class of which multiple instances are created. | ||
| + | > So let's call the class Agent, I then have something like: | ||
| + | > Agent* kees = new Agent("Kees"); | ||
| + | > Agent* anton = new Agent("Anton"); | ||
| + | > etc. | ||
| + | > | ||
| + | > I want each of these agents to have its own prolog engine (or database, I | ||
| + | > don't exactly got the difference), so that each agent has it's own data in | ||
| + | > prolog and I can query in only his data. Furthermore I want to kill one of | ||
| + | > the agents and it's prolog database without other agents being touched. Is | ||
| + | > this possible? | ||
| + | > | ||
| + | > Regards, | ||
| + | > Christian | ||
| + | > | ||
| + | </code> | ||
