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

Prolog connect 4 win in Title/Summary

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
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
  • Last updated: October 16th, 2013
SWI-Prolog

SWI-Prolog

SWI-Prolog offers a comprehensive free Prolog environment. Since its start in 1987, SWI-Prolog development has been driven by the needs of real world applications. SWI-Prolog is widely used in research and education as well as commercial applications.

  • Publisher: SWI-Prolog
  • Last updated: March 13th, 2023

Prolog connect 4 win in Description

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
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
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
  • Last updated: July 16th, 2012
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
PySWIP

PySWIP

PySWIP is an open source Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.

  • Publisher: Yuce Tekol
  • Home page: code.google.com
  • Last updated: February 20th, 2015

Additional Prolog connect 4 win selection

TomTom HOME

TomTom HOME

TomTom HOME is the easiest way to manage content on your TomTom device. Downloading and installing HOME is easy and quick. Once installed, simply connect your TomTom device to your computer by using your USB cable and get started. Every time you start up TomTom HOME, it will automatically detect if your TomTom device is connected and offer you any available updates.

  • Publisher: TomTom International BV
  • Home page: help.tomtom.com
  • Last updated: August 17th, 2022
Epson Connect Printer Setup

Epson Connect Printer Setup

Epson Connect Printer Setup is a utility designed to enable Epson Connect so you can print emails, documents, or photos from any device that can send an email. This utility is required for Epson Email Print, Remote Print or Scan To Cloud. No other software is required for Epson Email Print or Scan To Cloud.

  • Publisher: SEIKO EPSON Corporation
  • Home page: www.epson.com
  • Last updated: September 28th, 2023
ASUS Instant Connect

ASUS Instant Connect

ASUS Instant Connect is a free program that enables to set up a connection between you computer and your Android smartphone and get access to the Internet. The application has currently support only for the following devices: ASUS PadFone, ASUS MEMO ME171 and Samsung Galaxy Nexus.

  • Publisher: ASUSTeK COMPUTER INC.
  • Last updated: March 17th, 2014
Hearthstone: Heroes of Warcraft

Hearthstone: Heroes of Warcraft

In this free strategy game, you are a hero that needs to battle against different enemies using a deck of cards that can cast spells, summon monsters, use weapons, and weaken the enemy's powers and defenses. You need to play your cards wisely to make the most damage to your enemy and reduce the possibility of being damaged.

  • Publisher: Blizzard Entertainment
  • Home page: us.battle.net
  • Last updated: March 29th, 2018
Avira Connect

Avira Connect

Avira Connect is a free-to-use application for Windows OS that allows you to protect your device and manage all programs for free. This app helps user bring all their devices under one umbrella where user can easily add a new device whether computer or smart phone.

  • Publisher: Avira Operations GmbH & Co. KG
  • Home page: www.avira.com
  • Last updated: June 25th, 2020
Vodafone Mobile Connect

Vodafone Mobile Connect

Vodafone Mobile Connect 10.0

  • Publisher: Diginext B.V.
  • Last updated: August 26th, 2022
Splashtop Connect for Firefox

Splashtop Connect for Firefox

Splashtop Connect is a browser add-on which lets you: search via your favorite search engine, quickly access your most visited sites and easily keep up with the most popular keywords. Main Features: - Simple. - Fast: Automatically launches as your browser home page. - Fresh: Stay up-to-date, following the hottest trends.

  • Publisher: Splashtop Inc.
  • Home page: www.splashtop.com
  • Last updated: July 8th, 2014
MyDrive Connect

MyDrive Connect

MyDrive Connect is a free program that will set up a connection between your navigation device and your computer. The program allows you to manage the content of your navigation device. It also enables your navigation device to communicate with the MyDrive website.

  • Publisher: TomTom International BV.
  • Home page: www.tomtom.com
  • Last updated: July 5th, 2020
Nike+ Connect

Nike+ Connect

Nike Connect is a program that allows you to measure your athletic activities. It sends your Nike data from your device to your Nikeplus.com account. The devices that require Nike Connect are Nike FuelBand, Nike SportWatch GPS, Nike SportBand and Nike Sport Sensors (for Nike Basketball and Nike Training). Before you use your Nike+ device, download and install Nike+ Connect.

  • Publisher: Nike Inc.
  • Last updated: November 3rd, 2015
Fitbit Connect

Fitbit Connect

Fitbit Connect is a Windows utility that allows you to sync your data from Fitbit devices. Fitbit will help you tell your weight, height, calories, etc. By using this program you can track your progress and long-term trends as you learn how to stay on track and reach your weight goals.

  • Publisher: Fitbit Inc.
  • Last updated: December 14th, 2017