====== Prolog Research ======
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 =====

===== Prolog and OO =====
  * [[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 =====
some mess:
http://www.systemes-critiques.org/krasovec.pdf
http://home.mit.bme.hu/~majzik/publicat/ddecs2001.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>