Arity/Prolog32
| Arity/Prolog32 | |
|---|---|
| Basisdaten | |
| Erscheinungsjahr: | 1984 |
| Entwickler: | Arity Corporation |
| Aktuelle Version: | 1.0.0 (Erscheinungsjahr: 1984) ({{{AktuelleVersionFreigabeDatum}}}) |
| Wichtige Implementierungen: | Prolog, C, Assembler |
| Beeinflusst von: | Binär => Assembler => C => Arity Prolog |
| Betriebssystem: | Windows, Linux (mithilfe von WINE) |
| Lizenz: | kostenlos |
Arity/Prolog32 ist eine erweiterte Version der Programmiersprache Prolog, die in den Bereichen der Künstlichen Intelligenz und der Computerlinguistik Anwendung findet. Diese Version wurde ursprünglich von der Arity Corporation entwickelt, wobei Peter Gabel, Paul Weiss und Jim Greene maßgeblich beteiligt waren.
Geschichte und Entwicklung
Arity/Prolog32 wurde entwickelt, um Prolog-Programme auf Windows-Systemen zu erstellen und auszuführen. Es ist auch möglich, diese Programme unter Linux mit Hilfe von WINE zu betreiben. Die Software umfasst sowohl einen Compiler als auch einen Interpreter, die in Prolog, C und Assembler geschrieben sind. Der Interpreter bietet Debugging-Unterstützung und kann aus kompiliertem Code aufgerufen werden, was besonders für Anwendungen nützlich ist, die einen dynamisch modifizierbaren Code erfordern.
Funktionen und Anwendungen
Arity/Prolog32 ermöglicht die Erstellung von eigenständigen Programmen, dynamischen Link-Bibliotheken oder Anwendungen, bei denen der Code in ein anderes System integriert wird, beispielsweise in ein in C geschriebenes System. Die Software wurde in verschiedenen Branchen eingesetzt.
Beispiele der Nutzung
Ein grammatikalischer Analysator wurde mit SWI-Prolog implementiert und anschließend mit dem Arity/Prolog32-Interpreter getestet. Zudem fand die Software Anwendung in der Simulation der Proteinfaltung Anwendung.
Literatur
- Peter Gabel: Arity/Prolog.
- Hans Kleine Büning, Stefan Schmitgen: Prolog: Grundlagen und Anwendung.
- William F. Clockskin, Christoph S. Mellish: Programming in Prolog.
Weblinks
Content Disclaimer
Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.
- The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
- There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
- It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
- Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
- Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.