Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
|
pl:prolog:prolog_research [2006/11/17 11:01] wojnicki |
pl:prolog:prolog_research [2019/06/27 15:50] (aktualna) |
====== 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 ===== |
* [[: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 ===== |
http://home.mit.bme.hu/~majzik/publicat/ddecs2001.pdf | http://home.mit.bme.hu/~majzik/publicat/ddecs2001.pdf |
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> |