GNU Prolog

{{refimprove|date=January 2017}}

{{Infobox software

| name = GNU Prolog

| title = GNU Prolog

| logo = Heckert GNU white.svg

| logo size = 100px

| screenshot =

| caption =

| collapsible =

| author =

| developer = Daniel Diaz{{Cite web|url=http://cri-dist.univ-paris1.fr/diaz/|title=Daniel Diaz's Home Page}}

| released =

| discontinued =

| latest release version = 1.5.0

| latest release date = {{Start date and age|2021|07|08}}

| latest preview version =

| latest preview date =

| programming language = C

| operating system = Linux, Solaris, Windows, BSD, Mac OS X

| platform =

| size =

| language =

| status =

| genre = Compiler

| license = GNU General Public License v2 (or above) or GNU Lesser General Public License v3 (or above) or both in parallel

| website = {{URL|www.gprolog.org}}

}}

GNU Prolog (also called gprolog) is a compiler developed by Daniel Diaz with an interactive debugging environment for Prolog available for Unix, Windows, Mac OS X and Linux. It also supports some extensions to Prolog including constraint programming over a finite domain, parsing using definite clause grammars, and an operating system interface.

The compiler converts the source code into byte code that can be interpreted by a Warren abstract machine (WAM) and converts that to standalone executables.