Searches , social queries for GNU PROLOG
Search references for GNU PROLOG. Phrases containing GNU PROLOG
See searches and references containing GNU PROLOG!
Search references for GNU PROLOG. Phrases containing GNU PROLOG
See searches and references containing GNU PROLOG!GNU PROLOG
GNU Prolog (also called gprolog) is a compiler developed by Daniel Diaz with an interactive debugging environment for Prolog available for Unix, Windows
GNU_Prolog
Programming language that uses first order logic
embeddable Prolog engine for Java. It includes a small IDE and a few libraries. GNU Prolog for Java is an implementation of ISO Prolog as a Java library (gnu.prolog)
Prolog
comparison of Prolog implementations provides a reference for the relative feature sets and performance of different implementations of the Prolog computer
Comparison of Prolog implementations
Comparison_of_Prolog_implementations
Implementation of the programming language Prolog
SWI-Prolog is a free implementation of the programming language Prolog, commonly used for teaching and semantic web applications. It has a rich set of
SWI-Prolog
Traditional first example of a computer programming language
or using debhelper, and the version of hello used, GNU Hello, serves as an example of writing a GNU program. Variations of the "Hello, world" program that
Hello,_world
Conversion process for computer data
As examples, see the corresponding manual pages for SWI-Prolog, SICStus Prolog, GNU Prolog. Whether and how serialized terms received over the network
Serialization
GEORGE Gleam OpenGL Shading Language (GLSL) GNU E GNU Guile (GNU Ubiquitous Intelligent Language for Extensions) GNU Octave Go Go! Game Oriented Assembly Lisp
List_of_programming_languages
back-end Prolog compilers include B-Prolog, Ciao Prolog, CxProlog, ECLiPSe, GNU Prolog, JIProlog, Quintus Prolog, Scryer Prolog, SICStus Prolog, SWI-Prolog, Tau
Logtalk
Family of text editors
characterized by their extensibility. The manual for the most widely used variant, GNU Emacs, describes it as "the extensible, customizable, self-documenting, real-time
Emacs
Logic programming with constraint satisfaction
Constraint Handling Rules Ciao CLP(R) Distributed Oz Mozart ECLiPSe GNU Prolog SWI-Prolog Dechter, Rina (2003). Constraint processing. Morgan Kaufmann. ISBN 1-55860-890-7
Constraint_logic_programming
Declarative logic programming language
declarative logic programming language. While it is syntactically a subset of Prolog, Datalog generally uses a bottom-up rather than top-down evaluation model
Datalog
Computer programming language
λProlog, also written lambda Prolog, is a logic programming language featuring polymorphic typing, modular programming, and higher-order programming. These
ΛProlog
Free and open-source graph database
is available under the Apache 2.0 license. TerminusDB is implemented in Prolog and Rust. TerminusDB was founded in Dublin, Ireland. Starting in Trinity
TerminusDB
Functional logic programming language
a purely declarative logic programming language. It is related to both Prolog and Haskell. It features a strong, static, polymorphic type system, and
Mercury (programming language)
Mercury_(programming_language)
List of programming languages types and the languages that meet its description
mechanism called logical resolution) Mercury (based on Prolog) Visual Prolog (object-oriented Prolog extension) Soufflé Machine languages are directly executable
List of programming languages by type
List_of_programming_languages_by_type
Software Definition may be more appropriately called free software; the GNU project in particular objects to their works being referred to as open-source
List of free and open-source software packages
List_of_free_and_open-source_software_packages
Scieneer Common Lisp GNU CLISP Franz Allegro Common Lisp Versions of Scheme: Ikarus Chez Scheme Versions of Prolog: SWI-Prolog Yap Prolog XSB Versions of ML:
Incremental_compiler
Text-string-oriented programming language
backtracking algorithm similar to that used in the logic programming language Prolog, which provides pattern-like constructs via DCGs. This algorithm makes it
SNOBOL
Studio Simply Fortran SlickEdit Understand Uniface Visual LANSA Visual Prolog VisualWorks WebStorm Wing IDE Xcode Xojo AWS Cloud9 IDE Adobe ColdFusion
List of integrated development environments
List_of_integrated_development_environments
Subroutine call performed as final action of a procedure
of the "goto" statement that takes a function name: goto &NAME; Prolog – SWI-Prolog implements tail-recursion optimization. PureScript – Yes[citation
Tail_call
Programming library
Delphi Tcl Artificial Neural Networks Tcl lfann Lua Prolog FANN Visual Prolog 7 plfann SWI-Prolog go-fann Go FANN Kernel Soap, Web service MATLAB FANN
Fast Artificial Neural Network
Fast_Artificial_Neural_Network
Programming language, a dialect of the language Lisp
using a class hierarchy of entities and relations. Other features include: Prolog engine, database engine and database queries, distributed databases, inlining
PicoLisp
the former's capacity. Prolog: ISO standard compatible Prolog systems can check the Prolog flag "bounded". Most of the major Prolog systems support arbitrary
List of arbitrary-precision arithmetic software
List_of_arbitrary-precision_arithmetic_software
Haskell) PL/I PL/M PL/C Rexx Object REXX (also under Smalltalk) SP/k XPL Prolog CLP(R), CLP(FD) Mercury Erlang Cuneiform Elixir (also under Ruby) Logtalk
Generational list of programming languages
Generational_list_of_programming_languages
Futhark ISC Gforth GNU GPLv3 Gleam Apache 2.0 GNU AWK GPL (Gawk) GnuCOBOL GPL, LGPL GNU Data Language (GDL) GNU GPL-2.0 GNU Fortran GNU GPL v3 Go BSD-style
List of open-source programming languages
List_of_open-source_programming_languages
1970s-80s computer programming language
parallel extension Modula-P, another parallel extension Modula–Prolog, adds a Prolog layer Modula/R, adds relational database extensions Modula-GM, adds
Modula-2
does not necessarily support the full set of features of the library, e.g., GNU grep uses PCRE, but supports no lookahead, though PCRE does. Non-greedy quantifiers
Comparison of regular expression engines
Comparison_of_regular_expression_engines
Formalism to describe programming languages
Definite clause grammar – a more expressive alternative to BNF used in Prolog Extended Backus–Naur form (EBNF) Meta-II – an early compiler writing tool
Backus–Naur_form
Anonymous functions (in general anonymous predicates) were introduced in Visual Prolog in version 7.2. Anonymous predicates can capture values from the context
Examples of anonymous functions
Examples_of_anonymous_functions
Software development environment
Haskell, HLASM, JavaScript, Julia, Lasso, Lua, NATURAL, Perl, PHP, PL/I, Prolog, Python, R, Rexx, Ruby (including the Ruby on Rails framework), Rust, Scala
Eclipse_(software)
Function definition that is not bound to an identifier
"Language Reference/Terms/Anonymous Predicates - wiki.visual-prolog.com". wiki.visual-prolog.com. Retrieved 2022-01-14. "Pure Anonymous Function: Elementary
Anonymous_function
Software development environment
and system platform for the programming languages POP-11, Common Lisp, Prolog, and Standard ML. It was created originally in the United Kingdom for teaching
Poplog
Software that translates code from one programming language to another
to assembly language of a theoretical machine, like some Prolog implementations This Prolog machine is also known as the Warren Abstract Machine (or WAM)
Compiler
Instructions a computer can execute
the question: ?- billows_fire(X). Prolog generates two answers : X = norberta X = puff Practical applications for Prolog are knowledge representation and
Computer_program
Lisp-like programming language
learned from building MDL. Planner concepts influenced languages such as Prolog and Smalltalk. Smalltalk and Simula, in turn, influenced Hewitt's future
MDL_(programming_language)
Text editor and source code editor for Windows
operator. Notepad++ is released as free and open-source software under a GNU General Public License (GPL) 3.0 or later. The project was originally hosted
Notepad++
Wiki-based programming chrestomathy
Nim OCaml Octave ooRexx PARI/GP Pascal Perl PHP Picolisp PL/I PowerShell Prolog PureBasic Python R Racket Raku (Perl 6) Red REXX Ruby Rust Scala Scheme
Rosetta_Code
Dialect of the Lisp programming language on the Java platform
ClojureScript, ClojureDart Influenced by C# C++ Common Lisp Erlang Haskell Java ML Prolog Racket Ruby Scheme Wolfram Language Influenced Elixir Hy Janet LFE Pixie
Clojure
Programming paradigm
Haskell Java AspectJ JavaScript Logtalk Lua make MATLAB ML Nemerle Perl PHP Prolog Python Racket Ruby Squeak Smalltalk UML 2.0 XML Distributed AOP Attribute
Aspect-oriented_programming
(mid-1970s) provided a complete ground-up design of an object-oriented language. Prolog, designed in 1972 by Alain Colmerauer, Phillipe Roussel, and Robert Kowalski
History of programming languages
History_of_programming_languages
Programming language standard
data-driven programming embedded domain specific languages (examples: SQL, HTML, Prolog) implicit finalization forms Various standard Common Lisp features also
Common_Lisp
Control flow operator in functional programming
lines of code, e.g., McCarthy's amb operator for nondeterministic choice, Prolog-style backtracking, Simula 67-style coroutines and generalizations thereof
Call-with-current-continuation
Call-with-current-continuation
Computational operation
dev. Retrieved 1 June 2021. "dc, an arbitrary precision calculator". www.gnu.org. Archived from the original on 10 December 2025. Retrieved 23 May 2026
Modulo
1976 S. Hardy and C. Mellish, 'Integrating Prolog in the Poplog environment', in Implementations of Prolog, Ed., J.A. Campbell, Wiley, New York, 1983
POP-11
FreeBSD, and NetBSD GNU (also known as GNU/Hurd) Linux (see also List of Linux distributions) (alleged to be GNU/Linux see GNU/Linux naming controversy)
List_of_operating_systems
Programming paradigm based on applying and composing functions
difference between the two representations is simply syntactic. In Ciao Prolog, relations can be nested, like functions in functional programming: grandparent(X)
Functional_programming
Setting or re-setting the value associated with a variable name
symbols), SASL, Scala (for vals), SISAL, Standard ML. Non-backtracking Prolog code can be considered explicit single-assignment, explicit in a sense that
Assignment_(computer_science)
Software projects developed at universities
language (UCLouvain) Pascal – structured programming language (ETH Zurich) Prolog – logic programming language (Aix-Marseille) R – statistical computing language
List of software developed at universities
List_of_software_developed_at_universities
Programming language
Mellish and John Gibson) to produce an implementation of Prolog, using the standard syntax of Prolog, and the combined system became known as Poplog, to which
POP-2
Rust for StoffelVM, ~11.2K Rust for StoffelLang SWI-Prolog Prolog: SWI-Prolog, YAP Yes No C, SWI-Prolog TraceMonkey JavaScript Based on Tamarin No Yes C++
Comparison of application virtualization software
Comparison_of_application_virtualization_software
Programming language
the source code of Allegro CL. Allegro CL includes an implementation of Prolog and an object caching database called AllegroCache. The most recent release
Allegro_Common_Lisp
paid programs like General Assembly. Early symbolic AI inspired Lisp and Prolog, which dominated early AI programming. Modern AI development often uses
History of software engineering
History_of_software_engineering
Multiparadigm programming language
languages Curry (programming language) Mercury (programming language) Visual Prolog, an object-oriented, functional, logic language Peter Van Roy and Seif Haridi
Oz_(programming_language)
for the Java platform - it is a superset of CLIPS programming language. Prolog: a general purpose logic programming language. DTRules: a Decision Table-based
OpenL_Tablets
Object-oriented programming language
message to me". These facilities make it possible to implement coroutines or Prolog-like back-tracking without modifying the virtual machine. The exception
Smalltalk
Functional programming G5 – GEM – General Algebraic Modeling System – Genie – GNU – GNU Bison – Gnutella – Graphical user interface – Graphics Device Interface
Index_of_computing_articles
Computational lexicon of English
systems. It is freely available under a license similar to WordNet's. The GNU Collaborative International Dictionary of English project produced a dictionary
WordNet
Computer software
Entity Systems in Finland – where they were developing Common Lisp and Prolog development environments for the early generation of PC's circa. 1986–88
Virtuoso_Universal_Server
1000)) Racket comes with three logic programming languages: Racklog, a Prolog-like language; a Datalog implementation; and a miniKanren port. Unlike the
Racket_features
for the Java platform - it is a superset of CLIPS programming language. Prolog: a general purpose logic programming language. DTRules: a Decision Table-based
D3web
Cohen – BitTorrent protocol design and implementation Alain Colmerauer – Prolog Richard W. Conway – compilers for CORC, CUPL, and PL/C; XCELL Factory Modelling
List_of_programmers
Symbolics operating system based on Lisp
many extensions, many of them coming from ZetaLisp. Symbolics Prolog, a version of Prolog written and integrated in Lisp Symbolics Ada, a version of Ada
Genera_(software)
Software
which supports rule-based or logic programming (including support for Prolog); the CommonSQL database interface; and a Common Object Request Broker Architecture
LispWorks
Open Multilingual WordNet. SigmaKEE supports THF, TPTP, SUO-KIF, OWL and Prolog formats and is able to translate theories between these formats. The theorem
Sigma knowledge engineering environment
Sigma_knowledge_engineering_environment
ALGOL 68 1972 INTERCAL Don Woods, James M. Lyon none (unique language) 1972 Prolog Alain Colmerauer 2-level W-Grammar 1972 Structured Query language (SQL)
Timeline of programming languages
Timeline_of_programming_languages
Variant of the BASIC programming language
the graphical user interface for the program) ' Programs contain: ' 1. A PROLOG with type/function/constant declarations. ' 2. This Entry() function where
XBasic
sourceforge.net. "CameronWills/OEUnit". GitHub. 24 November 2020. "Prolog Unit Tests". Swi-prolog.org. Retrieved 2012-11-12. "Folder "tester"". xlog.ch. Archived
List of unit testing frameworks
List_of_unit_testing_frameworks
Personal computer
somewhat higher than the earlier implementations, these including Pascal, C, Prolog, Fortran and Lisp. Other vendors produced implementations of Forth, such
Acorn_Archimedes
Hardware and software platform by Lego
NXT brick over Bluetooth LegoLog Prolog Uses an NQC program to interpret commands send from the PC running the Prolog code LegoNXTRemote Yes No Yes Objective-C
Lego_Mindstorms
Type of parser in computer science
parse table by pattern-matching rules in non-procedural languages such as Prolog. GLR – generalized LR parsers use LR bottom-up techniques to find all possible
LR_parser
1971 1972 1973 1974 Programming languages CDL KRL SUE C INTERCAL PL/M Prolog Smalltalk SQL COMAL LIS ML Speakeasy-3 BASIC FOUR CLU GRASS PROSE Operating
History_of_software
Overview of and topical guide to software engineering
Configuration management and source code management CVS Subversion Git Mercurial RCS GNU Arch LibreSource Synchronizer Team Foundation Server Visual Studio Team Services
Outline of software engineering
Outline_of_software_engineering
computer security Simon Colton – computational creativity Alain Colmerauer – Prolog Douglas Comer – Xinu Paul Justin Compton – Ripple-down rules Richard W.
List_of_computer_scientists
Family of operating systems for IBM PC compatibles
Microsoft Watcom C/C++ from Watcom Turbo Pascal, Turbo BASIC, Turbo C, Turbo Prolog, and Turbo Assembler from Borland COMMAND.COM (the command line interpreter
DOS
Line of home computers from Atari Corporation
Modula-2, C compilers (Lattice C, Pure C, Megamax C, GNU C, Aztec C, AHCC), LISP, and Prolog. The ST had success in gaming due to the low cost, fast
Atari_ST
.; co-developed the CYK parsing algorithm Alain Colmerauer, creator of Prolog Richard W. Conway, for the introductory languages CORC and CUPL and the
List of programming language researchers
List_of_programming_language_researchers
GopherJS, Haskell, Haxe, JavaScript, Kotlin, Lua, Matlab, Mercurt, OCaml, Prolog, Solidity, TypeScript, Vala, Visual Basic No S-expressions John McCarthy
Comparison of data-serialization formats
Comparison_of_data-serialization_formats
Database using graph structures for queries
data visualization TerminusDB 12.0.9 2026-10-28 Proprietary, Apache 2 Prolog, Rust, Python, JSON-LD Document-oriented knowledge graph, focusing on versioned
Graph_database
Markup language with simple, unobtrusive syntax
on implementation CC BY-SA 1.0 Djot Lua (originally), JavaScript, PHP, Prolog, Rust HTML LaTeX, ConTeXt PDF DocBook ODF EPUB RTF MediaWiki, reST Man page
Lightweight_markup_language
grid) TerminusDB TerminusDB (formerly DataChemist) 2019 JavaScript, Python, Prolog, Rust, JSON-LD Open Source (Apache 2.0) Open source in-memory graph database
List_of_in-memory_databases
1 PHP PHP-GTK Partial Partial ? No LGPL-2.1 PHP until 5.2, GTK is GTK2 Prolog PLGI Partial Yes ? Yes LGPL-2.1 Python pgi Partial Partial ? Yes LGPL-2
List of language bindings for GTK
List_of_language_bindings_for_GTK
iOS, PSVita, PS3, PS4, PS5, Symbian, BeOS... PL Perl source code file PL Prolog source code file PL IRAF pixel list IRAF astronomical data format PLANET
List of filename extensions (M–R)
List_of_filename_extensions_(M–R)
/vert (green) put % remove something MyDict /rouge undef Some versions of Prolog include dictionary ("dict") utilities. In Python, associative arrays are
Comparison of programming languages (associative array)
Comparison_of_programming_languages_(associative_array)
travel, tourism, insurance
GNU PROLOG
GNU PROLOG
GNU PROLOG
GNU PROLOG
GNU PROLOG
GNU PROLOG
GNU PROLOG
GNU PROLOG
GNU PROLOG
travel, tourism, insurance