Checkers prolog in Title/Summary
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
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
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
Checkers prolog in Description
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
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
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 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 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 Checkers prolog selection
Real Checkers
Real Checkers 1.0 is the traditional checkers game for the PC, with a 3D Board. Checkers is a board game played between two players, who alternate moves. The object of the game is to capture all the enemy pieces, or block them. The pieces move only over the dark squares, diagonally, one square at a time and always forward, for common pieces. The Kings can move backwards, too.
- Publisher: Media Contact LLC
- Home page: www.gametop.com
- Last updated: March 3rd, 2008
Amusive Checkers
The checkers simulator will help you to master your playing skills, to train your intellectual capacity and, above all, give you lots of entertainment. The game includes three version of checkers: Russian, English and give away.
- Publisher: MyPlayCity.com
- Home page: www.myplaycity.com
- Last updated: March 11th, 2008
Aros Magic Checkers
Stunningly beautiful 3D graphics are combined with ease of use in this classic board game of Checkers. The better your display system, the prettier it looks. Supports many languages.
- Publisher: Aros Magic
- Home page: www.arosmagic.com
- Last updated: December 26th, 2007
Checkers-7
Checkers-7 is a game that unites several popular checkers games from around the world. The program is customizable in terms of its appearance and players can compete online by choosing a game from fourteen different checkers styles. To get started, players only need to choose the game and can also apply the Giveaway rule.
- Publisher: Style-7
- Last updated: October 22nd, 2010
Grammar Slammer Deluxe Checkers
Grammar Slammer Deluxe with Spelling and Grammar Checkers (or Grammar Slammer Deluxe with Checkers) is a multiplatform program for native and non-native English speakers who need a serious application that can correct their grammar and spelling mistakes when writing in English.
- Publisher: English Plus
- Home page: englishplus.com
- Last updated: March 8th, 2008
Strawberry Prolog
Strawberry Prolog is specially designed for education. Strawberry Prolog is being developed in the Institute of Mathematics and Informatics and in the Faculty of Mathematics and Informatics. You can embed ActiveX objects in your Prolog program by the predicate embed_server.
- Publisher: AE - Dimiter Dobrev
- Home page: www.dobrev.com
- Last updated: January 30th, 2010
- Publisher: Albatros Design Group
- Last updated: July 4th, 2010
Prolog Digital Edition
Prolog Digital Edition is a cross-platform application that enables you to select any language course produced for English speakers out of a wide variety of products. Each language course has a variety of items to download: a reading copy of the book, video files, audio files, and more.
- Publisher: Speakit.TV
- Last updated: December 2nd, 2018
Checkers Buddy - Pogo
Checker’s Buddy is a program designed to be a cheat for the Pogo Checker’s and Yahoo Checker’s games. This program is of great help when there is a game at stake that threatens to pull down your Yahoo rating. This game is helpful to players having difficulty seeing through their opponents’ game play.
- Publisher: Play Buddy
- Home page: www.playbuddy.com
- Last updated: January 11th, 2015
Checkers International
Play nine checkers variations from throughout Europe, including Alquerque (the oldest living checkers variation), Polish Draughts (played on a ten- by-ten board) and more!
- Publisher: Random Software
- Last updated: May 26th, 2020