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
GNU replacement for the Bourne shell
by the Free Software Foundation and created in 1989 by Brian Fox for the GNU Project, it is designed as a completely free software alternative for the
Bash_(Unix_shell)
back-end Prolog compilers include B-Prolog, Ciao Prolog, CxProlog, ECLiPSe, GNU Prolog, JIProlog, Quintus Prolog, Scryer Prolog, SICStus Prolog, SWI-Prolog, Tau
Logtalk
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
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
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
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
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
Programming language for statistics
authors and users). R is free and open-source software distributed under the GNU General Public License. The language is implemented primarily in C, Fortran
R_(programming_language)
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
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
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
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
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
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
Stack-based programming language
collection and analysis Gforth, a portable ANS Forth implementation from the GNU Project noForth, an ANS Forth implementation (as far as possible) for Flash
Forth_(programming_language)
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
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)
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
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
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
Functional programming language
LLVM. Pure is free and open-source software distributed (mostly) under the GNU Lesser General Public License version 3 or later. Pure comes with an interpreter
Pure_(programming_language)
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
General-purpose programming language
computationally intensive programs. For example, the GNU Multiple Precision Arithmetic Library, the GNU Scientific Library, Mathematica, and MATLAB are completely
C_(programming_language)
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)
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++
Programming language family
Common Lisp (CMU-CL), Clozure OpenMCL (not to be confused with Clojure!), GNU CLisp, and later versions of Franz Lisp; all of them adhere to the later
Lisp_(programming_language)
Gforth GNU GPLv3 Gleam Apache 2.0 GNU AWK GPL (Gawk) GNU Bash GNU GPL GnuCOBOL GPL, LGPL GNU Data Language (GDL) GNU GPL-2.0 GNU Fortran GNU GPL v3 Go
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
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
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
General-purpose, object-oriented programming language
dependent on Apple's APIs may also be compiled for any platform supported by GNU, GNU Compiler Collection (GCC) or LLVM/Clang. Objective-C source code
Objective-C
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
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
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
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
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
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
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
C language feature
open-std.org/jtc1/sc22/WG14/www/docs/n1256.pdf "Zero Length - Using the GNU Compiler Collection (GCC)". Retrieved December 30, 2014. Whitney, Tyler (November
Flexible_array_member
Proprietary language for AI accelerators
Lua MATLAB ML Caml OCaml Standard ML Pascal Object Pascal Perl Raku PHP Prolog Python R Ruby Rust SAS SQL Scratch Shell Smalltalk Swift more... Lists:
Mojo_(programming_language)
Programming language learning environment
Lua MATLAB ML Caml OCaml Standard ML Pascal Object Pascal Perl Raku PHP Prolog Python R Ruby Rust SAS SQL Scratch Shell Smalltalk Swift more... Lists:
Scratch (programming language)
Scratch_(programming_language)
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
(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
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
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)
Data structure used by a language translator such as a compiler or interpreter
allow arbitrary, generic properties to be associated with each symbol. The Prolog programming language is essentially a symbol-table manipulation language;
Symbol_table
Typesetting language and program for drawing
the document source. A version of pic is included in groff, the GNU version of troff. GNU pic can also act as a preprocessor for TeX documents, emitting
PIC_(markup_language)
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
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
Programming language
under the GNU General Public License (GNU GPL), while packages and runtime library come under a modified GNU Lesser General Public License (GNU LGPL). In
Pascal_(programming_language)
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)
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
Functional programming language for arrays
functions missing). GNU APL uses Unicode internally and can be scripted. It was written by Jürgen Sauermann. Richard Stallman, founder of the GNU Project, was
APL_(programming_language)
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
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
General-purpose programming language
Lua MATLAB ML Caml OCaml Standard ML Pascal Object Pascal Perl Raku PHP Prolog Python R Ruby Rust SAS SQL Scratch Shell Smalltalk Swift more... Lists:
Python_(programming_language)
Dynamic programming language
Lua MATLAB ML Caml OCaml Standard ML Pascal Object Pascal Perl Raku PHP Prolog Python R Ruby Rust SAS SQL Scratch Shell Smalltalk Swift more... Lists:
Julia_(programming_language)
Functional programming G5 – GEM – General Algebraic Modeling System – Genie – GNU – GNU Bison – Gnutella – Graphical user interface – Graphics Device Interface
Index_of_computing_articles
Programming language
Lua MATLAB ML Caml OCaml Standard ML Pascal Object Pascal Perl Raku PHP Prolog Python R Ruby Rust SAS SQL Scratch Shell Smalltalk Swift more... Lists:
OCaml
Script written for an operating system shell
Open Source replication of ash, that is "...the fastest shell in the west". GNU Bash(Bourne Again SHell) (bash), Open Source replication of Bourne Shell
Shell_script
Object-oriented programming language
interpreter. OpenJDK is another Java SE implementation that is licensed under the GNU GPL. The implementation started when Sun began releasing the Java source
Java_(programming_language)
General purpose programming language
Lua MATLAB ML Caml OCaml Standard ML Pascal Object Pascal Perl Raku PHP Prolog Python R Ruby Rust SAS SQL Scratch Shell Smalltalk Swift more... Lists:
Pike_(programming_language)
Computational operation
dev. Retrieved 2021-06-01. "dc, an arbitrary precision calculator". www.gnu.org. Archived from the original on 2025-12-10. Retrieved 2026-05-23. "Kernel
Modulo
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
Partial ? No No LGPL-2.1 PHP until 5.2, GTK is GTK2 Prolog PLGI Partial Yes ? Yes No LGPL-2.1 Dynamic Prolog binding to GObject libraries using GObject-Introspection
List of language bindings for GTK
List_of_language_bindings_for_GTK
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)
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
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
Interpreted programming language first released in 1987
interpreter implements its own lexer, which coordinates with a modified GNU bison parser to resolve ambiguities in the language." Most of what happens
Perl
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
High-level programming language first released in 1980
source code is the GNAT Programming Studio, and GNAT which is part of the GNU Compiler Collection. Alire is a package and toolchain management tool for
Ada_(programming_language)
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
Programming language
Retrieved November 1, 2024. "gccgo". Retrieved November 1, 2024. gccgo, the GNU compiler for the Go programming language "Gollvm". Retrieved November 1,
Go_(programming_language)
General-purpose programming language
Retrieved 1 April 2025. "Extended Asm (Using the GNU Compiler Collection)". GCC Online Documentation. GNU Project. Retrieved 1 April 2025. Intel Corporation
C++
1000)) Racket comes with three logic programming languages: Racklog, a Prolog-like language; a Datalog implementation; and a miniKanren port. Unlike the
Racket_features
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
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
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
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
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
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
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
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
Scripting language created in 1994
restriction on the use of "PHP" made the PHP License incompatible with the GNU General Public License (GPL), while the Zend License was incompatible due
PHP
Software
which supports rule-based or logic programming (including support for Prolog); the CommonSQL database interface; and a Common Object Request Broker Architecture
LispWorks
General-purpose programming language
X3.198-1992 (R2002) (Fortran 90), Appendix B.1. "Fortran 95 Reference". Gnu.Org. Retrieved May 10, 2014. Lionel, Steve (December 30, 2013). "Doctor Fortran
Fortran
Early object-oriented programming language
platforms. There are mainly four implementations: Simula AS Lund Simula GNU Cim Portable Simula Revisited In November 2001, Dahl and Nygaard were awarded
Simula
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
General-purpose programming language
WebAssembly, and native machine code for Windows, macOS, and Linux. The DotGNU project (now discontinued) also provided an open-source C# compiler, a nearly
C Sharp (programming language)
C_Sharp_(programming_language)
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
Programming language with English-like syntax
COBOL Compiler Family". IBM. 16 May 2024. Retrieved 11 September 2024. "GnuCOBOL - GNU Project". Retrieved 11 September 2024. Coughlan, Michael (2002). "Introduction
COBOL
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
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
GNU PROLOG
GNU PROLOG
Boy/Male
Christian, Finnish, Gujarati, Hindu, Indian, Kannada, Malayalam, Marathi, Punjabi, Sanskrit, Sikh, Telugu
An Atom; Angel; Messenger of God; Love; Sky
Male
Babylonian
, Anu, is prince; Anammelech.
Boy/Male
Indian, Sikh
Brave; Wise
Boy/Male
Australian, Basque, Farsi, French
Ox; Bull; Cow
Boy/Male
Hindu
An atom
Female
Thai/Siamese
Thai name A-GUN means "grape."
Boy/Male
Australian, German, Indian, Punjabi, Scandinavian, Sikh
Warrior
Male
Babylonian
, Adad-Anu.
Girl/Female
Christian, Gujarati, Hindu, Indian, Kannada, Malayalam, Marathi, Sindhi, Telugu
Attractive
Girl/Female
Indian
Attribute, Excellence, Merit, Quality, Virtue
Female
African
second-born child.
Female
Egyptian
, child of Nu.
Girl/Female
Indian
Sweet Like Sugar
Boy/Male
Hindu, Indian, Marathi, Sanskrit
Charming; Lovely; Handsome
Boy/Male
Norse
Took refuge in Iceland after several killings he performed.
Girl/Female
Indian, Norse, Tamil
God
Girl/Female
Norse
One of Frigga's ladies in waiting.
Female
Finnish
Estonian and Finnish pet form of Greek Hanna, ANU means "favor; grace."
Boy/Male
Australian, Japanese
Tough; Strong
Girl/Female
Bengali, Celebrity, Finnish, Gujarati, Hindu, Indian, Malayalam, Marathi, Punjabi, Sanskrit, Sikh, Sindhi, Tamil, Telugu, Traditional
Atom; Silence; Favour; Grace; A Prefix; Beauty
GNU PROLOG
GNU PROLOG
Boy/Male
Shakespearean
The Taming of the Shrew' A servant to Lucentio.
Girl/Female
Arabic, Gujarati, Hindu, Indian, Muslim
Star; Big Eyes; Shinning; Glittering; Sun; New; Beautiful Eyes
Boy/Male
Australian, Basque, German, Portuguese
Courageous People; Pearl
Girl/Female
American, Indian
Very Attractive
Girl/Female
Arabic, Muslim
Rose Spring; Spring Rose; Garden of Flower
Girl/Female
Australian, Nigerian
One who Put his Efforts to Maintain the Family Rights and Place
Girl/Female
Latin
Derived from 'orabilis' meaning yielding to prayer. Famous bearer: Lady Arabella Stuart was...
Boy/Male
French
Dead sea (a stagnant lake).
Girl/Female
Hindu
A melody, Music
Girl/Female
Arabic, Gujarati, Hindu, Indian, Muslim
Sweet Smile
GNU PROLOG
GNU PROLOG
GNU PROLOG
GNU PROLOG
GNU PROLOG
n.
The knee.
n.
A weapon which throws or propels a missile to a distance; any firearm or instrument for throwing projectiles by the explosion of gunpowder, consisting of a tube or barrel closed at one end, in which the projectile is placed, with an explosive charge behind, which is ignited by various means. Muskets, rifles, carbines, and fowling pieces are smaller guns, for hand use, and are called small arms. Larger guns are called cannon, ordnance, fieldpieces, carronades, howitzers, etc. See these terms in the Vocabulary.
v. i.
To practice fowling or hunting small game; -- chiefly in participial form; as, to go gunning.
n.
The gnu.
n.
The gnu.
n.
A piece of heavy ordnance; in a restricted sense, a cannon.
v. t.
The mountings of a gun.
v. t.
To load again, as a gun.
n.
See Gun cotton, under Gun.
n.
The brindled gnu. See Gnu.
n.
Violent blasts of wind.
n.
The kneelike bend, in the anterior part of the callosum of the brain.
n.
One of two species of large South African antelopes of the genus Catoblephas, having a mane and bushy tail, and curved horns in both sexes.
pl.
of Genu
v. t.
To adjust (a gun) on its carriage; also, to train (a gun) for horizontal firing.
n.
A bed in a gun carriage.