{"schema_version":1,"metadata":{"branch":"release","release":"7.9","architecture":"amd64","generated_at":"2026-09-09T04:04:02.361425+00:00","source_url":"https://cdn.openbsd.org/pub/OpenBSD/7.9/packages/amd64/sqlports-7.54.tgz","source_sha256":"2de00144847bf9da3a365be982f101dbb55d591ed7a915ea94984a16ab0e0404","package_count":12059,"source_kind":"sqlports"},"package":{"name":"gprolog-1.5.0p0","path":"lang/gprolog","url":"/packages/release/lang/gprolog/","comment":"Prolog compiler","homepage":"http://www.gprolog.org/","maintainer":"The OpenBSD ports mailing-list <ports@openbsd.org>","description":"GNU Prolog is a free Prolog compiler with constraint solving over finite\ndomains developed by Daniel Diaz.\n\nGNU Prolog accepts Prolog+constraint programs and produces native\nbinaries (like gcc does from a C source). The obtained executable is\nthen stand-alone.  The size of this executable can be quite small since\nGNU Prolog can avoid to link the code of most unused built-in\npredicates. The performances of GNU Prolog are very encouraging\n(comparable to commercial systems).\n\nBeside the native-code compilation, GNU Prolog offers a classical\ninteractive interpreter (top-level) with a debugger.\n\nThe Prolog part conforms to the ISO standard for Prolog with many\nextensions very useful in practice (global variables, OS interface,\nsockets,...).\n\nGNU Prolog also includes an efficient constraint solver over Finite\nDomains (FD). This opens constraint logic programming to the user\ncombining the power of constraint programming to the declarativity of\nlogic programming.\n","package_architecture":"amd64","stem":"gprolog","readme":null,"dependencies":[],"reverse_dependencies":{"count":0,"url":null},"categories":["lang"],"flavors":[],"only_for_architectures":["amd64","i386","sparc64"],"not_for_architectures":[]}}