Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
SICStus Prolog user's manual, version 2.1 #8
Show others and affiliations
Number of Authors: 7
1993 (English)Report (Refereed)
Abstract [en]

This Manual corresponds to SICStus Prolog release 2.1. #8 Prolog is a simple but powerful programming language developed at the University of Marseilles (Prolog : Manuel de Reference et d'Utilisation by P.Roussel, Groupe d'Intelligence Artificielle, Marseille-Luminy, 1975), as a practical tool for programming in Logic (Logic for Problem Solving by R.A. Kowalski, DCL Memo 75, Dept. of Artificial Intelligence, University of Edinburgh, March, 1974.)) From a user's point of view the major attraction of the language is ease of programming. Clear, readable, concise programs can be written quickly with few errors. This manual describes a Prolog system developed at the Swedish Institute of Computer Science in collaboration with Ericsson Telecom AB, NobelTech Systems AB, Infologics AB and Televerket under the IT4 program. The system consists of a WAM emulator written in C, a library and runtime system written in C and Prolog and an interpreter and a compiler written in Prolog. The Prolog engine is a Warren Abstract Machine (WAM) emulator defined by D:H:D: Warren in An Abstract Prolog Instruction Set, Tech. Note 309, International, Menlo Park, CA, 1983. Two modes of compilation are available: in-core i.e. incremental, and file-to-file.

Place, publisher, year, edition, pages
Swedish Institute of Computer Science , 1993, 1.
Series
SICS Technical Report, ISSN 1100-3154 ; T93:01A
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:ri:diva-22129OAI: oai:DiVA.org:ri-22129DiVA: diva2:1041671
Note
Revised version of R88007C , T91:11 and T91:11B. No longer distributed.Available from: 2016-10-31 Created: 2016-10-31Bibliographically approved

Open Access in DiVA

No full text

Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

Total: 8 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
v. 2.27.0