Podnova Player  Windows library  Podnova home
License: All
Sort by: Relevance

Sudoku gnu prolog code in Title/Summary

GNU Prolog

GNU Prolog

GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone. The size of this executable can be quite small since GNU Prolog can avoid to link the code of most unused built-in predicates. The performances of GNU Prolog are very encouraging

  • Publisher: Daniel Diaz
  • Home page: www.gprolog.org
  • Last updated: October 16th, 2013
SICStus Prolog

SICStus Prolog

SICStus Prolog provides constraint programming with several constraint solvers. This technology has been successfully used in commercial applications as well as in research projects. SICStus Prolog has integrated support for developing web based applications.

  • Publisher: SICS
  • Home page: www.sics.se
  • Last updated: May 29th, 2011
Win-Prolog

Win-Prolog

WIN-PROLOG is the leading Prolog compiler system for Windows-based PCs. Prolog is an established and powerful AI language which provides a high-level and productive environment based on logical inference.

  • Publisher: Logic Programming Associates Ltd
  • Last updated: April 14th, 2016

Sudoku gnu prolog code in Description

Amzi! Prolog + Logic Server

Amzi! Prolog + Logic Server

The LSAPI enables the host language to query Prolog logic bases, and also allows Prolog to call extended predicates implemented in the host language. So, the host language can call Prolog for it's reasoning capabilities, and the Prolog code can reason over information taken directly from the host language.

  • Publisher: Amzi! inc.
  • Home page: www.amzi.com
  • Last updated: December 23rd, 2011
Prolog.NET

Prolog.NET

Prolog.NET is an application that provides seamless integration between .NET and Prolog by compiling Prolog code into reusable .NET objects. This makes it easy to develop applications that combine the powerful features of both imperative and logic programming paradigms, as well as use logic programming as a meta-language to reason about object-oriented programs.

  • Publisher: Prolog.NET
  • Last updated: June 28th, 2011
SCBuilder

SCBuilder

SCBuilder is a lightweight Integrated Development Environment (IDE) for the SystemC language and associated libraries. Apart from the SystemC library, SCBuilder is supplied with a pre-compiled Transaction Level Modeling (TLM) library, the SystemC Verification Standard (SCV) library and a beta SystemC Universal Verification Methodology (UVM) Library.

  • Publisher: HT-Lab
  • Home page: www.ht-lab.com
  • Last updated: February 26th, 2018
Visual Prolog

Visual Prolog

If you ever thought of developing your own application, the Prolog Development Center offers you a comprehensive software program that allows you to fully control the details of your project, such as environment, variables, parameters and other settings. The program is called Visual Prolog, and it's based on the logic programming language Prolog.

  • Publisher: Prolog Development Center A/S
  • Home page: www.visual-prolog.com
  • Last updated: August 27th, 2019
BProlog

BProlog

Welcome to B-Prolog, a versatile and efficient constraint logic programming (CLP) system.B-Prolog is a Prolog system with extensions for programming concurrency, constraints, and interactive graphics. The system is based on a significantly refined WAM, called TOAM, that facilitates software emulation.

  • Publisher: Afany Software
  • Home page: www.probp.com
  • Last updated: July 16th, 2012

Additional Sudoku gnu prolog code selection

Gnu Emacs

Gnu Emacs

At its core is an interpreter for Emacs Lisp, a dialect of the Lisp programming language with extensions to support text editing. The features of GNU Emacs include: Content-sensitive editing modes, including syntax coloring, for a variety of file types including plain text, source code, and HTML. Complete built-in documentation, including a tutorial for new users.

  • Publisher: Free Software Foundation, Inc.
  • Home page: www.gnu.org
  • Last updated: October 30th, 2012
GNU Backgammon

GNU Backgammon

GNU Backgammon is an interesting, advanced open-source project that uses neural networks so that its artificial intelligence continually learns and improves. The game can be played for fun or you can use it to test and analyze different types of scenarios.

  • Publisher: Joseph Heled
  • Home page: www.gnubg.org
  • Last updated: May 26th, 2020
GNU Common Lisp

GNU Common Lisp

GCL is a Common Lisp currently compliant with the CLtL1 standard. Lisp compilation produces native code through the intermediary of the system's C compiler, from which GCL derives efficient performance and facile portability. Currently uses TCL/Tk as GUI.

  • Publisher: The GNU Common Lisp Development Team
  • Home page: www.gnu.org
  • Last updated: June 18th, 2012
Dev-C++

Dev-C++

This application uses the MinGW port of GCC (GNU Compiler Collection) as its compiler. It is a full-featured Integrated Development Environment (IDE) for the C/C++ programming language. The application can be considered a new and improved fork of Bloodshed Dev-C++.

GNU Pascal

GNU Pascal

A few old and obsolete features have been dropped or replaced by cleaner, more flexible or otherwise more useful ones. This might lead to minor problems with old code, but we suppose they're rare and easy to overcome. Backward-incompatible changes are marked with (@).

  • Publisher: The GNU Pascal Team
  • Home page: www.gnu-pascal.de
  • Last updated: April 9th, 2008
R for Windows

R for Windows

R for Windows is a GUI where you can write code to perform graphical and statistical analysis on data sets. You can save your written and compiled code in form of scripts which can be run any system that has this program installed. This program also has manuals to help you learn how to use it.

  • Publisher: The R Foundation
  • Home page: www.r-project.org
  • Last updated: January 18th, 2022
Code::Blocks

Code::Blocks

Code::Blocks is a free C, C++, and Fortran IDE that is fully configurable. Built around a plugin framework, Code::Blocks can be extended with plugins. Any kind of functionality can be added by installing/coding a plugin. Its compiling and debugging functionality is already implemented by plugins.

  • Publisher: The Code::Blocks Team
  • Home page: www.codeblocks.org
  • Last updated: June 25th, 2020
XviD

XviD

Xvid is an open-source research project focusing on video compression and is a collaborative development effort. All code is released under the terms of the GNU GPL license. The Xvid video codec implements MPEG-4 Simple Profile and Advanced Simple Profile standards.

  • Publisher: XviD team (Koepi)
  • Home page: www.xvid.com
  • Last updated: July 4th, 2020
Microsoft Visual Studio Code

Microsoft Visual Studio Code

Visual Studio Code is a free source code editor for Windows. It comes with built-in support for JavaScript, TypeScript and Node.js and has a rich ecosystem of extensions for other languages (such as C++, C#, Python, PHP, Go) and runtimes (such as .NET and Unity). You get syntax highlighting and autocomplete with IntelliSense feature.

GNU Privacy Guard

GNU Privacy Guard

GnuPG is a complete and free implementation of the OpenPGP standard as defined by RFC4880 (also known as PGP). The program allows to encrypt and sign your data and communication, features a versatile key management system as well as access modules for all kinds of public key directories.

  • Publisher: Free Software Foundation
  • Home page: www.gnupg.org
  • Last updated: May 31st, 2018