Sicstus Prolog - meaning and definition. What is Sicstus Prolog
Diclib.com
Online Dictionary

What (who) is Sicstus Prolog - definition

PROGRAMMING LANGUAGE THAT USES FIRST ORDER LOGIC
Prolog programming language; Prolog (programming language); ISO/IEC 13211-1; PROLOG; PROLOG programming language; Prolog II; ISO/IEC 13211-2; Prologue language; SICStus Prolog; SICStus; Criticism of Prolog; ISO/IEC 13211; Prolog language; ISO-Prolog; ISO Prolog; Design patterns in Prolog; Prolog-MPI; Meta-interpreters in Prolog

SICStus Prolog         
A Prolog from the SICS (Swedish Inst of Comp Sci). E-mail: <sicstus-request@sics.se>. Mailing list: sicstus-users@sics.se. (1995-01-05)
PROLOG         
PROgramming in LOGic
Prolog         
·noun & ·v Prologue.

Wikipedia

Prolog

Prolog is a logic programming language associated with artificial intelligence and computational linguistics.

Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is intended primarily as a declarative programming language: the program logic is expressed in terms of relations, represented as facts and rules. A computation is initiated by running a query over these relations.

The language was developed and implemented in Marseille, France, in 1972 by Alain Colmerauer with Philippe Roussel, based on Robert Kowalski's procedural interpretation of Horn clauses at University of Edinburgh.

Prolog was one of the first logic programming languages and remains the most popular such language today, with several free and commercial implementations available. The language has been used for theorem proving, expert systems, term rewriting, type systems, and automated planning, as well as its original intended field of use, natural language processing. Modern Prolog environments support the creation of graphical user interfaces, as well as administrative and networked applications.

Prolog is well-suited for specific tasks that benefit from rule-based logical queries such as searching databases, voice control systems, and filling templates.