出典:Wikipedia
出典:『Wikipedia』 (2010/12/29 18:35 UTC 版)
GNU Prolog (also called gprolog) is a compiler developed by Daniel Diaz with an interactive debugging environment for Prolog available for Unix, Windows and Mac OS X. It also supports some extensions to Prolog including constraint programming over a finite domain, parsing using definite clause grammars, and an operating system interface.