{"name":"gprolog","summary":"GNU Prolog, a free Prolog compiler with constraint solving over finite domains","description":"GNU Prolog is a free Prolog compiler with constraint solving\nover finite domains developed by Daniel Diaz.\n\nGNU Prolog accepts Prolog+constraint programs and produces\nnative binaries (like gcc does from a C source).  The obtained\nexecutable is then stand-alone.  The size of this executable can\nbe quite small since GNU Prolog can avoid to link the code of\nmost unused built-in predicates.  The performances of GNU Prolog\nare very encouraging (comparable to commercial systems).\n\nBeside the native-code compilation, GNU Prolog offers a\nclassical interactive interpreter (top-level) with a debugger.\n\nThe Prolog part conforms to the ISO standard for Prolog with\nmany extensions very useful in practice (global variables, OS\ninterface, sockets,...).\n\nGNU Prolog also includes an efficient constraint solver over\nFinite Domains (FD).  This opens constraint logic programming to\nthe user combining the power of constraint programming to the\ndeclarativity of logic programming.","homepage_url":"https://www.gnu.org/software/gprolog/","license":"LGPL-3.0-or-later","attribute_paths":["gprolog"],"releases":[{"version":"1.5.0","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"gprolog","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/fs0v9kcs2c9hyli2v91pqnq9f0ldd4wp-gprolog-1.5.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"gprolog","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/zbw903dq49m05i1j8v0qx39ciszca8jx-gprolog-1.5.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"gprolog","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/07nk8m7ss67h6axrv09fdxawwgc3syzm-gprolog-1.5.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"gprolog","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/la5x8hzz8y7d1ri6ck4yjbd2mlldd0yi-gprolog-1.5.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.4.5","last_updated":"2021-07-05T19:22:21Z","platforms":[{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"gprolog","commit_hash":"3e0ce8c5d478d06b37a4faa7a4cc8642c6bb97de","date":"2021-07-05T19:22:21Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"gprolog","commit_hash":"3e0ce8c5d478d06b37a4faa7a4cc8642c6bb97de","date":"2021-07-05T19:22:21Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Intel only)","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}