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
computational linguistics. Prolog has its roots in first-order logic, a formal logic. Unlike many other programming languages, Prolog is intended primarily
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
developed for Unix-like operating systems. Created in 1989 by Brian Fox for the GNU Project, it is designed as a completely free software alternative for the
Bash_(Unix_shell)
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
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
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)
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
back-end Prolog compilers include B-Prolog, Ciao Prolog, CxProlog, ECLiPSe, GNU Prolog, JIProlog, Quintus Prolog, Scryer Prolog, SICStus Prolog, SWI-Prolog, Tau
Logtalk
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
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
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) ROOP Soufflé Machine languages are directly
List of programming languages by type
List_of_programming_languages_by_type
Computer programming language
λProlog, also written lambda Prolog, is a logic programming language featuring polymorphic typing, modular programming, and higher-order programming. These
ΛProlog
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
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)
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
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)
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
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)
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 programming G5 – GEM – General Algebraic Modeling System – Genie – GNU – GNU Bison – Gnutella – Graphical user interface – Graphics Device Interface
Index_of_computing_articles
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)
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++
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
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
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
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)
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)
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
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)
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
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
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. "Structure Declarations"
Flexible_array_member
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
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
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
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
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
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
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 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)
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
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)
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)
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
(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
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)
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
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)
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
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
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
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)
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
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 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)
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
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)
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
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
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)
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)
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)
Script written for an operating system shell
include: The original Bourne shell (sh), though no longer in common use GNU Bash (bash) Debian Almquist shell (dash) Z shell (zsh) if run in compatibility
Shell_script
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
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
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
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++
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)
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
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
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
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
1000)) Racket comes with three logic programming languages: Racklog, a Prolog-like language; a Datalog implementation; and a miniKanren port. Unlike the
Racket_features
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
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
Numerical computing environment and 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:
MATLAB
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)
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
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
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
Software
which supports rule-based or logic programming (including support for Prolog); the CommonSQL database interface; and a Common Object Request Broker Architecture
LispWorks
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
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
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
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
Programming language
25 October 2022. "Sanchez Offers GT.M Database as Open Source Freeware to GNU/Linux Users". Sanchez Computer Associates, Inc. (Press release). 8 November
MUMPS
GNU PROLOG
GNU PROLOG
Boy/Male
Hindu
An atom
Girl/Female
Norse
One of Frigga's ladies in waiting.
Girl/Female
Indian
Attribute, Excellence, Merit, Quality, Virtue
Male
Babylonian
, Adad-Anu.
Boy/Male
Norse
Took refuge in Iceland after several killings he performed.
Boy/Male
Australian, Japanese
Tough; Strong
Girl/Female
Christian, Gujarati, Hindu, Indian, Kannada, Malayalam, Marathi, Sindhi, Telugu
Attractive
Female
African
second-born child.
Boy/Male
Australian, German, Indian, Punjabi, Scandinavian, Sikh
Warrior
Girl/Female
Bengali, Celebrity, Finnish, Gujarati, Hindu, Indian, Malayalam, Marathi, Punjabi, Sanskrit, Sikh, Sindhi, Tamil, Telugu, Traditional
Atom; Silence; Favour; Grace; A Prefix; Beauty
Boy/Male
Hindu, Indian, Marathi, Sanskrit
Charming; Lovely; Handsome
Girl/Female
Indian
Sweet Like Sugar
Boy/Male
Australian, Basque, Farsi, French
Ox; Bull; Cow
Girl/Female
Indian, Norse, Tamil
God
Female
Egyptian
, child of Nu.
Boy/Male
Indian, Sikh
Brave; Wise
Female
Thai/Siamese
Thai name A-GUN means "grape."
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.
Female
Finnish
Estonian and Finnish pet form of Greek Hanna, ANU means "favor; grace."
GNU PROLOG
GNU PROLOG
Female
Polish
Czech and Polish form of Greek Eirênê, IRENA means "peace."
Female
French
Feminine form of French Pierre, PIERRETTE means "rock, stone."
Boy/Male
Arabic, Australian, Malaysian, Muslim, Pashtun
Lion
Boy/Male
Hindu, Indian
Affectionate
Surname or Lastname
English
English : metronymic from Lees 3.
Girl/Female
Muslim/Islamic
Island
Boy/Male
Australian, French, Greek, Latin
Resurrection
Surname or Lastname
English
English : occupational name for a worker in a quarry, from Middle English stone ‘stone’ + an agent derivative of breken ‘to break’.Translation of German Steinbrecher or the Dutch equivalent, Steenbreker.
Boy/Male
Indian, Punjabi, Sikh
Having Knowledge of the Soul
Girl/Female
Tamil
Result of spiritual unity
GNU PROLOG
GNU PROLOG
GNU PROLOG
GNU PROLOG
GNU PROLOG
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.
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.
n.
A piece of heavy ordnance; in a restricted sense, a cannon.
n.
The brindled gnu. See Gnu.
n.
The knee.
pl.
of Genu
v. t.
To load again, as a gun.
v. t.
The mountings of a gun.
n.
The kneelike bend, in the anterior part of the callosum of the brain.
n.
Violent blasts of wind.
n.
See Gun cotton, under Gun.
n.
The gnu.
v. i.
To practice fowling or hunting small game; -- chiefly in participial form; as, to go gunning.
n.
A bed in a gun carriage.
v. t.
To adjust (a gun) on its carriage; also, to train (a gun) for horizontal firing.
n.
The gnu.