Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
|
pl:prolog:prolog_research [2008/01/09 14:54] wojnicki prolog logtalk java c++ info added |
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]] | * [[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 ===== |
===== Prolog and LOGO ===== | ===== Prolog and LOGO ===== |
[[http://prologo.sourceforge.net/|ProLOGO]] | [[http://prologo.sourceforge.net/|ProLOGO]] |
| |
| |
| |
===== WAM ===== | ===== 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. | [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]] | [[http://www.vanx.org/archive/wam/wam.html|Warren's Abstract Machine: A Tutorial Reconstruction]] |
| {{:prolog:wambook.pdf|wersja lokalna}} |
| |
===== Parallelism ===== | ===== Parallelism ===== |