GNU Prolog: A Native Prolog Compiler with Constraint Solving over Finite Domains - Université Paris 1 Panthéon-Sorbonne Access content directly
Software Year :

GNU Prolog: A Native Prolog Compiler with Constraint Solving over Finite Domains

Daniel Diaz

Abstract

GNU Prolog is a general-purpose implementation of the Prolog language. It provides a native-code compiler producing standalone executables which do not rely on any byte-code emulator or meta-interpreter. GNU Prolog is higly comptatible with the ISO standard for Prolog but also offers various extensions. In particular, GNU Prolog includes an extensible and high-performance finite domain constraint solver.

Dates and versions

hal-03993921 , version 1 (17-02-2023)

Identifiers

Cite

Daniel Diaz. GNU Prolog: A Native Prolog Compiler with Constraint Solving over Finite Domains. 2021. ⟨hal-03993921⟩

Collections

UNIV-PARIS1 CRI
3 View
2 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More